1.1 --- a/src/Pure/System/isabelle_process.ML	Wed Dec 30 22:29:37 2009 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Wed Dec 30 22:56:46 2009 +0100
     1.3 @@ -44,11 +44,7 @@
     1.4    message out_stream ch (Position.properties_of (Position.thread_data ())) body;
     1.5  
     1.6  fun init_message out_stream =
     1.7 -  let
     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 = Session.welcome ();
    1.11 -  in message out_stream "A" [pid, session] text end;
    1.12 +  message out_stream "A" [(Markup.pidN, process_id ())] (Session.welcome ());
    1.13  
    1.14  end;
    1.15