# HG changeset patch
# User aspinall
# Date 1121265135 -7200
# Node ID 63a5782c764e6596d3382048faa8c901cc521c1d
# Parent  ccf39b7ca3b7b3df1be9ee220b5ff206dcfb5909
Add ISABELLE_PID for proof_general.ML

diff -r ccf39b7ca3b7 -r 63a5782c764e bin/isabelle-process
--- a/bin/isabelle-process	Wed Jul 13 16:08:21 2005 +0200
+++ b/bin/isabelle-process	Wed Jul 13 16:32:15 2005 +0200
@@ -202,7 +202,6 @@
 ISABELLE_TMP="$ISABELLE_TMP_PREFIX$$"
 mkdir -p "$ISABELLE_TMP"
 
-
 ## run it!
 
 ML_SYSTEM_BASE=$(echo "$ML_SYSTEM" | cut -f1 -d-)
@@ -218,6 +217,7 @@
 fi
 
 export INFILE OUTFILE COPYDB COMPRESS MLTEXT TERMINATE NOWRITE ISABELLE_TMP
+export ISABELLE_PID="$$"
 
 if [ -f "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM" ]; then
   "$ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM"