From 43558fa1dc94f8f21ca2d93dcab18ca89ae03c0b Mon Sep 17 00:00:00 2001
From: coderaiser <mnemonic.enemy@gmail.com>
Date: Fri, 3 Mar 2017 23:40:36 +0200
Subject: [PATCH] Fix demo: wrong pid on windows #567

---
 demo/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demo/app.js b/demo/app.js
index 3439ea99..8637dad8 100644
--- a/demo/app.js
+++ b/demo/app.js
@@ -69,7 +69,7 @@ app.ws('/terminals/:pid', function (ws, req) {
     term.write(msg);
   });
   ws.on('close', function () {
-    process.kill(term.pid);
+    term.kill();
     console.log('Closed terminal ' + term.pid);
     // Clean things up
     delete terminals[term.pid];