# HG changeset patch
# User wenzelm
# Date 1196975231 -3600
# Node ID 33d30a53fae792fc22b36eac46e2637ed1345ff6
# Parent  4ca31a3706a49d34faaa0afe188ca64be4074e7e
renamed ML_PID to PID;

diff -r 4ca31a3706a4 -r 33d30a53fae7 src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Thu Dec 06 19:58:21 2007 +0100
+++ b/src/Pure/Tools/isabelle_process.ML	Thu Dec 06 22:07:11 2007 +0100
@@ -52,7 +52,7 @@
 (* init *)
 
 fun init () =
- (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
+ (Output.writeln_default ("PID=" ^ string_of_pid (Posix.ProcEnv.getpid ()));
   setup_channels ();
   Isar.secure_main ());