src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sun Sep 12 22:31:51 2021 +0200
+++ b/src/Pure/Tools/server.scala	Mon Sep 13 11:52:32 2021 +0200
@@ -508,7 +508,7 @@
       }
       else if (operation_exit) {
         val ok = Server.exit(name)
-        sys.exit(if (ok) 0 else 2)
+        sys.exit(if (ok) Process_Result.RC.ok else Process_Result.RC.failure)
       }
       else {
         val log = Logger.make(log_file)