properly exit terminal take 2

lfuelling · Jul 27, 2019 · 32c5d8c · 32c5d8c
1 parent 8b18c8d
commit 32c5d8c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/html/ui.js b/html/ui.js
@@ -20,11 +20,12 @@ $(function () {
                     greetings: 'Welcome to Redpill OS v0.1',
                     prompt: event.data.machine.user + '@' + event.data.machine.hostname + ' $ '
                 });
+                console.log("Terminal initialized!")
             } else {
-                term.purge();
+                term.destroy();
+                console.log('Terminal destroyed!');
             }
         } else if (event.data.type === "terminalOut") {
-            console.log('terminalOut received!');
             if (term !== undefined) {
                 term.echo(event.data.output);
             }