# HG changeset patch
# User wenzelm
# Date 1442239707 -7200
# Node ID 0a1b62bbbdf9cf8559aaa2638ac954ffb4ca7f23
# Parent  2a56a53d78f95fb1a60a41ca078ff9951a3989fd
single-instance application for Linux;

diff -r 2a56a53d78f9 -r 0a1b62bbbdf9 Admin/Linux/Isabelle.run
--- a/Admin/Linux/Isabelle.run	Mon Sep 14 16:06:55 2015 +0200
+++ b/Admin/Linux/Isabelle.run	Mon Sep 14 16:08:27 2015 +0200
@@ -32,8 +32,13 @@
 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
 unset XMODIFIERS
 
-exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/jre/bin/java" \
-  "-Disabelle.home=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
-  -classpath "{CLASSPATH}" \
-  "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
-  isabelle.Main "$@"
+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.home=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
+    -classpath "{CLASSPATH}" \
+    "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
+    isabelle.Main -server="$("$ISABELLE_HOME/bin/isabelle" jedit_client -n)" "$@"
+fi