1.1 --- a/src/Pure/System/isabelle_process.ML	Wed May 22 08:46:39 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Wed May 22 14:10:45 2013 +0200
     1.3 @@ -221,6 +221,7 @@
     1.4  
     1.5      val channel = rendezvous ();
     1.6      val _ = init_channels channel;
     1.7 +    val _ = Session.init_protocol_handlers ();
     1.8    in loop channel end));
     1.9  
    1.10  fun init_fifos fifo1 fifo2 = init (fn () => System_Channel.fifo_rendezvous fifo1 fifo2);