Set the port properties for upload.

Akos Kitta · Akos Kitta · commit 40923e2fbc14 · 2022-08-18T16:41:14.000+02:00
Signed-off-by: Akos Kitta &lt;a.kitta@arduino.cc&gt;
diff --git a/arduino-ide-extension/src/node/core-service-impl.ts b/arduino-ide-extension/src/node/core-service-impl.ts
@@ -412,6 +412,11 @@ export class CoreServiceImpl extends CoreClientAware implements CoreService {
       rpcPort.setLabel(port.addressLabel);
       rpcPort.setProtocol(port.protocol);
       rpcPort.setProtocolLabel(port.protocolLabel);
+      if (port.properties) {
+        for (const [key, value] of Object.entries(port.properties)) {
+          rpcPort.getPropertiesMap().set(key, value);
+        }
+      }
     }
     return rpcPort;
   }

Original file line number	Diff line number	Diff line change
`@@ -412,6 +412,11 @@ export class CoreServiceImpl extends CoreClientAware implements CoreService {`
`412`	`412`	`rpcPort.setLabel(port.addressLabel);`
`413`	`413`	`rpcPort.setProtocol(port.protocol);`
`414`	`414`	`rpcPort.setProtocolLabel(port.protocolLabel);`
	`415`	`+ if (port.properties) {`
	`416`	`+ for (const [key, value] of Object.entries(port.properties)) {`
	`417`	`+ rpcPort.getPropertiesMap().set(key, value);`
	`418`	`+ }`
	`419`	`+ }`
`415`	`420`	`}`
`416`	`421`	`return rpcPort;`
`417`	`422`	`}`