src/Pure/System/isabelle_process.ML
changeset 71853 ec14ef6dd09b
parent 71852 45c2b8cf1b26
child 71855 494704309099
equal deleted inserted replaced
71852:45c2b8cf1b26 71853:ec14ef6dd09b
   202     (* shutdown *)
   202     (* shutdown *)
   203 
   203 
   204     val _ = Future.shutdown ();
   204     val _ = Future.shutdown ();
   205     val _ = Execution.reset ();
   205     val _ = Execution.reset ();
   206     val _ = Message_Channel.shutdown msg_channel;
   206     val _ = Message_Channel.shutdown msg_channel;
       
   207     val _ = BinIO.closeIn in_stream;
       
   208     val _ = BinIO.closeOut out_stream;
   207 
   209 
   208   in Exn.release result end);
   210   in Exn.release result end);
   209 
   211 
   210 end;
   212 end;
   211 
   213