tuned;

--- a/src/Tools/VSCode/src/language_server.scala	Mon Sep 13 11:52:32 2021 +0200
+++ b/src/Tools/VSCode/src/language_server.scala	Mon Sep 13 11:58:11 2021 +0200
@@ -345,7 +345,7 @@
   def exit(): Unit =
   {
     log("\n")
-    sys.exit(if (session_.value.isDefined) Process_Result.RC.failure else Process_Result.RC.ok)
+    sys.exit(if (session_.value.isEmpty) Process_Result.RC.ok else Process_Result.RC.failure)
   }