Fix #159 - end terminal session when opening a game

uqbar-project · Mar 24, 2024 · 98dc23c · 98dc23c
1 parent 5170096
commit 98dc23c
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/client/src/commands.ts b/client/src/commands.ts
@@ -34,13 +34,16 @@ export const subscribeWollokCommands = (context: ExtensionContext): void => {
  * CLI Commands
  */
 
-export const runProgram = (isGame = false) => (fqn: string): Task =>
-  wollokCLITask('run program', `Wollok run ${isGame ? 'game' : 'program'}`, [
+export const runProgram = (isGame = false) => (fqn: string): Task => {
+  // Terminate previous terminal session
+  vscode.commands.executeCommand('workbench.action.terminal.killAll')
+  return wollokCLITask('run program', `Wollok run ${isGame ? 'game' : 'program'}`, [
     'run',
     ...isGame ? ['-g'] : [],
     `'${fqn}'`,
     '--skipValidations',
   ])
+}
 
 export const runTest = ([filter, file, describe, test]: [string|null, string|null, string|null, string|null]): Task =>
   wollokCLITask('run tests', 'Wollok run test', [