# HG changeset patch
# User wenzelm
# Date 1521205733 -3600
# Node ID 641315ebed02a771b6e8a982bad63718a2095b5f
# Parent  599753dd6501e7fa730ce117a8b5b793debebd54
tuned options;

diff -r 599753dd6501 -r 641315ebed02 src/Pure/Tools/server.scala
--- a/src/Pure/Tools/server.scala	Thu Mar 15 22:43:35 2018 +0100
+++ b/src/Pure/Tools/server.scala	Fri Mar 16 14:08:53 2018 +0100
@@ -423,8 +423,8 @@
 Usage: isabelle server [OPTIONS]
 
   Options are:
-    -C           console interaction with specified server
     -L FILE      logging on FILE
+    -c           console interaction with specified server
     -l           list servers (exclusive operation)
     -n NAME      explicit server name (default: """ + default_name + """)
     -p PORT      explicit server port
@@ -433,8 +433,8 @@
 
   Manage resident Isabelle servers.
 """,
-          "C" -> (_ => console = true),
           "L:" -> (arg => log_file = Some(Path.explode(File.standard_path(arg)))),
+          "c" -> (_ => console = true),
           "l" -> (_ => operation_list = true),
           "n:" -> (arg => name = arg),
           "p:" -> (arg => port = Value.Int.parse(arg)),