src/Tools/VSCode/src/server.scala

--- a/src/Tools/VSCode/src/server.scala	Sat Sep 22 13:22:43 2018 +0200
+++ b/src/Tools/VSCode/src/server.scala	Sat Sep 22 14:24:53 2018 +0200
@@ -361,7 +361,7 @@
 
   def exit() {
     log("\n")
-    sys.exit(if (session_.value.isDefined) 1 else 0)
+    sys.exit(if (session_.value.isDefined) 2 else 0)
   }