ensure CLI exits on disconnect

gfwilliams · gfwilliams · commit ae4fc7c4748a · 2019-03-05T10:54:39.000Z
diff --git a/bin/espruino-cli.js b/bin/espruino-cli.js
@@ -497,6 +497,7 @@ function connect(devicePath, exitCallback) {
       // ----------------------
      }, function() {
        log("Disconnected.");
+       exitCallback();
      });
   } else {
     sendCode(function() {
