Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
plain process_id function;
authorwenzelm
Fri, 03 Oct 2008 21:06:39 +0200
changeset 28491 c5420429a5aa
parent 28490 40c3f900c457
child 28492 5175b022e216
plain process_id function;
src/Pure/Tools/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle