remove upload port from pending monitor requests

davegarthsimpson · davegarthsimpson · commit 1678da744d8b · 2022-06-17T17:08:08.000+02:00
diff --git a/arduino-ide-extension/src/node/monitor-manager.ts b/arduino-ide-extension/src/node/monitor-manager.ts
@@ -169,7 +169,9 @@ export class MonitorManager extends CoreClientAware {
   }
 
   async startQueuedServices(): Promise<void> {
-    const queued = this.startMonitorPendingRequests;
+    // here we remove the first item as in all likelihood it's
+    // probably the port we used to perform an upload
+    const queued = this.startMonitorPendingRequests.slice(1);
     this.startMonitorPendingRequests = [];
 
     for (const [[board, port], onFinish] of queued) {

Original file line number	Diff line number	Diff line change
`@@ -169,7 +169,9 @@ export class MonitorManager extends CoreClientAware {`
`169`	`169`	`}`
`170`	`170`
`171`	`171`	`async startQueuedServices(): Promise<void> {`
`172`		`- const queued = this.startMonitorPendingRequests;`
	`172`	`+ // here we remove the first item as in all likelihood it's`
	`173`	`+ // probably the port we used to perform an upload`
	`174`	`+ const queued = this.startMonitorPendingRequests.slice(1);`
`173`	`175`	`this.startMonitorPendingRequests = [];`
`174`	`176`
`175`	`177`	`for (const [[board, port], onFinish] of queued) {`