# HG changeset patch
# User wenzelm
# Date 1316814373 -7200
# Node ID 981098cdbb3f75dd816d9834f927267b32d80bc1
# Parent  3cc2ac688fd971ea6240f1fe117cc2de7edcded1
prefer socket comminication on Cygwin, which is more stable here than fifos;

diff -r 3cc2ac688fd9 -r 981098cdbb3f src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 23 21:51:49 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 23 23:46:13 2011 +0200
@@ -36,6 +36,15 @@
 )
 
 
+## defaults
+
+if [ "$OSTYPE" = cygwin ]; then
+  SOCKET_DEFAULT="true"
+else
+  SOCKET_DEFAULT="false"
+fi
+
+
 ## diagnostics
 
 PRG="$(basename "$0")"
@@ -48,7 +57,7 @@
   echo "  Options are:"
   echo "    -J OPTION    add JVM runtime option"
   echo "                 (default JEDIT_JAVA_OPTIONS=$JEDIT_JAVA_OPTIONS)"
-  echo "    -S BOOL      enable socket-based communication (default: named pipe)"
+  echo "    -S BOOL      enable socket communication instead of fifos (default: $SOCKET_DEFAULT)"
   echo "    -b           build only"
   echo "    -d           enable debugger"
   echo "    -f           fresh build"
@@ -86,7 +95,7 @@
 
 BUILD_ONLY=false
 BUILD_JARS="jars"
-JEDIT_USE_SOCKET="false"
+JEDIT_USE_SOCKET="$SOCKET_DEFAULT"
 JEDIT_LOGIC="$ISABELLE_LOGIC"
 JEDIT_PRINT_MODE=""