--- a/bin/isabelle-process Thu Dec 17 23:31:59 2009 +0100
+++ b/bin/isabelle-process Thu Dec 17 23:44:15 2009 +0100
@@ -213,7 +213,7 @@
NICE="nice"
if [ -n "$WRAPPER_OUTPUT" ]; then
- [ "$WRAPPER_OUTPUT" = "-" -o -p "$WRAPPER_OUTPUT" ] || fail "Bad named pipe: $WRAPPER_OUTPUT"
+# [ "$WRAPPER_OUTPUT" = "-" -o -p "$WRAPPER_OUTPUT" ] || fail "Bad named pipe: $WRAPPER_OUTPUT"
MLTEXT="$MLTEXT; Isabelle_Process.init \"$WRAPPER_OUTPUT\";"
elif [ -n "$PGIP" ]; then
MLTEXT="$MLTEXT; ProofGeneralPgip.init_pgip $ISAR;"