src/Pure/Tools/server.scala

--- a/src/Pure/Tools/server.scala	Sat Sep 22 13:22:43 2018 +0200
+++ b/src/Pure/Tools/server.scala	Sat Sep 22 14:24:53 2018 +0200
@@ -485,7 +485,7 @@
       }
       else if (operation_exit) {
         val ok = Server.exit(name)
-        sys.exit(if (ok) 0 else 1)
+        sys.exit(if (ok) 0 else 2)
       }
       else {
         val log = Logger.make(log_file)