From 32c5d8c1c6a9ddb832e7b53ebe0fb949ac9a3fd2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lukas=20F=C3=BClling?= <lukas@k40s.net>
Date: Sat, 27 Jul 2019 22:19:44 +0200
Subject: [PATCH] properly exit terminal take 2

---
 html/ui.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/html/ui.js b/html/ui.js
index f5fa8d9..7963992 100644
--- 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);
             }