From 7c70fa74fe78c69cc7a4c3254e45bf51a8a0148a Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Thu, 29 Nov 2018 16:40:34 +0000
Subject: [PATCH] Kill subprocess if local end of connection closes

---
 packages/driver-streams-node/src/subprocess.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/packages/driver-streams-node/src/subprocess.js b/packages/driver-streams-node/src/subprocess.js
index e37bfcf..9f17a0c 100644
--- a/packages/driver-streams-node/src/subprocess.js
+++ b/packages/driver-streams-node/src/subprocess.js
@@ -57,7 +57,12 @@ spawn named 'driver/Subprocess' {
       sp.off('error', rejecter);
       send S.ConnectionAccepted(id);
       const s = new Duplex(sp.stdout, sp.stdin);
-      establishingFacet.stop(() => { react S.duplexStreamBehaviour(id, s); });
+      establishingFacet.stop(() => {
+        react {
+          S.duplexStreamBehaviour(id, s);
+          on stop try { sp.kill('SIGHUP'); } catch (e) {}
+        }
+      });
     }));
   }