Close terminal window on exit code 0 (#21)

Author: andersevenrud

index.js

@@ -79,7 +79,12 @@ const createConnection = async (core, proc, win, term, fit) => {
   });
 
   ws.on('message', (ev) => {
-    if (!pinged) {
+    if (pinged) {
+      const message = JSON.parse(ev.data);
+      if (message.action === 'exit' && message.event.exitCode === 0) {
+        win.close();
+      }
+    } else {
       pinged = true;
       pid = parseInt(ev.data, 10);
 

server.js

@@ -74,6 +74,15 @@ const createTerminal = (core, ws, options = {}, args = []) => {
     }
   };
 
+  term.onExit((ev) => {
+    try {
+      // This is a workaround for ping wrapper
+      ws.send(JSON.stringify({action: 'exit', event: ev}));
+    } catch (e) {
+      console.warn(e);
+    }
+  })
+
   term.onData((data) => {
     try {
       // This is a workaround for ping wrapper