--- 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;