From acbb164c3c9b15a05afa7e1b7de00494294d3d8a Mon Sep 17 00:00:00 2001
From: Mark Sujew <mark.sujew@typefox.io>
Date: Wed, 27 Oct 2021 12:56:17 +0200
Subject: [PATCH] Fix cortex-debug related debugging issue (#578)

* Fix cortex-debug related debugging issue

* Update arduino-ide-extension/src/browser/theia/debug/debug-session-manager.ts

Co-authored-by: Francesco Stasi <francescomaria.stasi@gmail.com>
---
 .../src/browser/theia/debug/debug-session-manager.ts         | 5 +++++
 1 file changed, 5 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 e26b456b..d1b2a4b0 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,9 @@ export class DebugSessionManager extends TheiaDebugSessionManager {
       }
     );
   }
+  // TODO: remove as https://github.com/eclipse-theia/theia/issues/10164 is fixed
+  async terminateSessions(): Promise<void> {
+    await super.terminateSessions();
+    this.destroy(this.currentSession?.id);
+  }
 }