mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-14 14:56:33 +00:00
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>
This commit is contained in:
parent
99099b06aa
commit
acbb164c3c
@ -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);
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user