src/Tools/VSCode/src/language_server.scala

   }
 
   def exit(): Unit =
   {
     log("\n")
-    sys.exit(if (session_.value.isDefined) 2 else 0)
+    sys.exit(if (session_.value.isDefined) Process_Result.RC.failure else Process_Result.RC.ok)
   }
 
 
   /* completion */