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