jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-10-12 04:48:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

a few bugfixes. updated grpc dependencies.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2019-11-30 18:39:09 +01:00
parent eb7b3ad683
commit 80549db289
13 changed files with 769 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-ide-extension/src/browser/monitor/monitor-connection.ts
View File

@@ -96,11 +96,11 @@ export class MonitorConnection {
const result = await this.monitorService.disconnect(this.state.connectionId);
if (result) {
console.log(`<<< Disposed connection. Was: ${MonitorConnection.State.toString(this.state)}`);
this.state = undefined;
this.onConnectionChangedEmitter.fire(undefined);
} else {
console.warn(`<<< Could not dispose connection. Activate connection: ${MonitorConnection.State.toString(this.state)}`);
}
this.state = undefined;
this.onConnectionChangedEmitter.fire(undefined);
return result;
}