plain process_id function;
authorwenzelm
Fri Oct 03 21:06:39 2008 +0200 (2008-10-03 ago)
changeset 28491c5420429a5aa
parent 28490 40c3f900c457
child 28492 5175b022e216
plain process_id function;
src/Pure/Tools/isabelle_process.ML
     1.1 --- a/src/Pure/Tools/isabelle_process.ML	Fri Oct 03 21:06:38 2008 +0200
     1.2 +++ b/src/Pure/Tools/isabelle_process.ML	Fri Oct 03 21:06:39 2008 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4  
     1.5  fun init_message out_stream =
     1.6    let
     1.7 -    val pid = (Markup.pidN, string_of_pid (Posix.ProcEnv.getpid ()));
     1.8 +    val pid = (Markup.pidN, process_id ());
     1.9      val session = (Markup.sessionN, List.last (Session.id ()) handle List.Empty => "unknown");
    1.10      val text = message_text Markup.initN [XML.Text (Session.welcome ())];
    1.11    in output out_stream (special "A" ^ message_props [pid, session] ^ text ^ special_end) end;