Patch for Change Request in #324

app/terminal/index.html

@@ -121,7 +121,16 @@
 
              window.addEventListener("resize", sendSizeToServer);
          }
-         socket.onclose = () => {}
+
+         socket.onmessage = (msg) => {
+            if(msg==="Closing"){
+                socket.close();
+            }
+         }
+         
+         socket.onclose = () => {
+            window.close();
+         }
          socket.onerror = () => {}
         </script>
     </body>

app/terminal/server.js

@@ -1,7 +1,9 @@
 this.Pty = require("node-pty");
 this.Websocket = require("ws").Server;
 
-this.onclosed = () => {};
+this.onclosed = () => {
+    ws.send("Closing");
+};
 this.onopened = () => {};
 this.onresize = () => {};
 this.ondisconnected = () => {};