# HG changeset patch
# User wenzelm
# Date 1470052277 -7200
# Node ID 4ea48cbc54c1e8b5442b1c66b23c64f4784b99e7
# Parent  8976c5bc9e9758e52b05c8d8e61f208366d4896e
uniform server startup like windows and macos, for improved robustness if jEdit is terminated abruptly;

diff -r 8976c5bc9e97 -r 4ea48cbc54c1 Admin/Linux/Isabelle.run
--- a/Admin/Linux/Isabelle.run	Mon Aug 01 11:54:32 2016 +0200
+++ b/Admin/Linux/Isabelle.run	Mon Aug 01 13:51:17 2016 +0200
@@ -32,13 +32,8 @@
 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
 unset XMODIFIERS
 
-if "$ISABELLE_HOME/bin/isabelle" jedit_client -c
-then
-  "$ISABELLE_HOME/bin/isabelle" jedit_client "$@"
-else
-  exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
-    "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
-    -classpath "{CLASSPATH}" \
-    "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
-    isabelle.Main "$@"
-fi
+exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
+  "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
+  -classpath "{CLASSPATH}" \
+  "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
+  isabelle.Main "$@"