Fix monitor service id creation (#1025)

This commit is contained in:
Alberto Iannaccone 2022-06-08 17:21:26 +02:00 committed by GitHub
parent 585a82b51a
commit 726628e20c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions

View File

@ -76,7 +76,7 @@ export class ArduinoFirmwareUploaderImpl implements ArduinoFirmwareUploader {
fqbn: firmware.board_fqbn, fqbn: firmware.board_fqbn,
}; };
try { try {
this.monitorManager.notifyUploadStarted(board, port); await this.monitorManager.notifyUploadStarted(board, port);
output = await this.runCommand([ output = await this.runCommand([
'firmware', 'firmware',
'flash', 'flash',

View File

@ -215,6 +215,8 @@ export class MonitorManager extends CoreClientAware {
* @returns a unique monitor ID * @returns a unique monitor ID
*/ */
private monitorID(board: Board, port: Port): MonitorID { private monitorID(board: Board, port: Port): MonitorID {
return `${board.fqbn}-${port.address}-${port.protocol}`; const splitFqbn = board?.fqbn?.split(':') || [];
const shortenedFqbn = splitFqbn.slice(0, 3).join(':') || '';
return `${shortenedFqbn}-${port.address}-${port.protocol}`;
} }
} }