wait for port to reappear

Author: davegarthsimpson

Diff for: arduino-ide-extension/src/browser/boards/boards-service-provider.ts

@@ -128,14 +128,21 @@ export class BoardsServiceProvider implements FrontendApplicationContribution {
       return;
     }
 
-    const lastSelectionOnUpload = this.lastBoardsConfigOnUpload;
-    this.setLastBoardsConfigOnUpload(undefined);
-
     const {
       oldState: { ports: oldPorts },
       newState: { ports: newPorts, boards: newBoards },
     } = event;
 
+    if (newPorts.length === 0) {
+      setTimeout(() => {
+        this.setLastBoardsConfigOnUpload(undefined);
+      }, 5000);
+      return;
+    }
+
+    const lastSelectionOnUpload = this.lastBoardsConfigOnUpload;
+    this.setLastBoardsConfigOnUpload(undefined);
+
     const appearedPorts = newPorts.filter((newPort: Port) =>
       oldPorts.every((oldPort: Port) => !Port.sameAs(newPort, oldPort))
     );