# HG changeset patch
# User wenzelm
# Date 1223060799 -7200
# Node ID c5420429a5aa830cf576c1e1cb749c74b4725857
# Parent  40c3f900c4572e3159da81624e6ae1bae48128f3
plain process_id function;

diff -r 40c3f900c457 -r c5420429a5aa src/Pure/Tools/isabelle_process.ML
--- a/src/Pure/Tools/isabelle_process.ML	Fri Oct 03 21:06:38 2008 +0200
+++ b/src/Pure/Tools/isabelle_process.ML	Fri Oct 03 21:06:39 2008 +0200
@@ -88,7 +88,7 @@
 
 fun init_message out_stream =
   let
-    val pid = (Markup.pidN, string_of_pid (Posix.ProcEnv.getpid ()));
+    val pid = (Markup.pidN, process_id ());
     val session = (Markup.sessionN, List.last (Session.id ()) handle List.Empty => "unknown");
     val text = message_text Markup.initN [XML.Text (Session.welcome ())];
   in output out_stream (special "A" ^ message_props [pid, session] ^ text ^ special_end) end;