changeset 65301 | fca593a62785 |
parent 65300 | c262653a3b88 |
child 65302 | 3f92d63dad12 |
--- a/src/Pure/System/isabelle_process.ML Sat Mar 18 12:24:56 2017 +0100 +++ b/src/Pure/System/isabelle_process.ML Sat Mar 18 12:46:52 2017 +0100 @@ -205,7 +205,9 @@ val channel = System_Channel.rendezvous socket; val msg_channel = init_channels channel; val _ = loop channel; - in Message_Channel.shutdown msg_channel end); + val _ = Message_Channel.shutdown msg_channel; + val _ = Private_Output.init_channels (); + in () end); (* init options *)