Merge pull request #324 from HollowMan6/terminal-Exit

Terminal: Close terminal buffer with EXIT signal
emacs-eaf · Jul 3, 2020 · c0b1486 · c0b1486
2 parents b4e2d15 + 57546b3
commit c0b1486
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/app/terminal/index.html b/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>

diff --git a/app/terminal/server.js b/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 = () => {};