ignore possible error when deleting disposed terminal (#44)

microsoft · Apr 12, 2018 · 80e8248 · 80e8248
1 parent 0513db6
commit 80e8248
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/VSCodeUI.ts b/src/VSCodeUI.ts
@@ -89,7 +89,7 @@ export namespace VSCodeUI {
             if (terminal) {
                 terminal.sendText(composeSetEnvironmentVariableCommand("JAVA_HOME", javaHome), true);
             }
-            return {JAVA_HOME: javaHome};
+            return { JAVA_HOME: javaHome };
         } else {
             return {};
         }
@@ -114,7 +114,11 @@ export namespace VSCodeUI {
     }
 
     export function onDidCloseTerminal(closedTerminal: Terminal): void {
-        delete terminals[closedTerminal.name];
+        try {
+            delete terminals[closedTerminal.name];
+        } catch (error) {
+            // ignore it.
+        }
     }
 
     export async function openDialogForFolder(customOptions: OpenDialogOptions): Promise<Uri> {