src/Pure/Tools/server.scala

           if server_info.active
         } Output.writeln(server_info.toString, stdout = true)
       }
       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)
         val (server_info, server) =
           init(name, port = port, existing_server = existing_server, log = log)