From e24c01117bb3596d7063f9a125485fb09a08c886 Mon Sep 17 00:00:00 2001 From: Mark Sujew Date: Mon, 25 Oct 2021 12:34:57 +0200 Subject: [PATCH 1/2] Fix cortex-debug related debugging issue --- .../src/browser/theia/debug/debug-session-manager.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts b/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts index e26b456b4..084aaca15 100644 --- a/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts +++ b/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts @@ -62,4 +62,8 @@ export class DebugSessionManager extends TheiaDebugSessionManager { } ); } + async terminateSessions(): Promise { + await super.terminateSessions(); + this.destroy(this.currentSession?.id); + } } From 4e8695c70a6764e372b05be53c3028f1ed128135 Mon Sep 17 00:00:00 2001 From: Francesco Stasi Date: Wed, 27 Oct 2021 09:52:03 +0200 Subject: [PATCH 2/2] Update arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts --- .../src/browser/theia/debug/debug-session-manager.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts b/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts index 084aaca15..d1b2a4b03 100644 --- a/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts +++ b/arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts @@ -62,6 +62,7 @@ export class DebugSessionManager extends TheiaDebugSessionManager { } ); } + // TODO: remove as https://github.com/eclipse-theia/theia/issues/10164 is fixed async terminateSessions(): Promise { await super.terminateSessions(); this.destroy(this.currentSession?.id);