fix debugger restart

Fixes #95. Restarting the debugger was restarting the program multiple times and eventually getting stuck. This fixes it by reseting debugRestarting back to false to essentially make the restart a one-shot triggered event.
ev3dev · Feb 13, 2020 · 913bde7 · 913bde7
1 parent 257a61e
commit 913bde7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/extension.ts b/src/extension.ts
@@ -186,6 +186,7 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr
                         if (debugRestarting) {
                             activeDebugSessions.add(event.session.id);
                             event.session.customRequest('ev3devBrowser.debugger.thread', 'started');
+                            debugRestarting = false;
                         } else {
                             event.session.customRequest('ev3devBrowser.debugger.terminate');
                         }
@@ -226,6 +227,7 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr
                             output.appendLine(`Restarting: ${command}`);
                             output.appendLine('----------');
                             event.session.customRequest('ev3devBrowser.debugger.thread', 'started');
+                            debugRestarting = false;
                         } else {
                             event.session.customRequest('ev3devBrowser.debugger.terminate');
                         }