src/Pure/System/isabelle_process.ML
changeset 72104 d9a42786fbc9
parent 71878 3cd8449829fa
child 72112 3546dd4ade74
equal deleted inserted replaced
72103:7b318273a4aa 72104:d9a42786fbc9
   211     val _ = Execution.reset ();
   211     val _ = Execution.reset ();
   212     val _ = Message_Channel.shutdown msg_channel;
   212     val _ = Message_Channel.shutdown msg_channel;
   213     val _ = BinIO.closeIn in_stream;
   213     val _ = BinIO.closeIn in_stream;
   214     val _ = BinIO.closeOut out_stream;
   214     val _ = BinIO.closeOut out_stream;
   215 
   215 
       
   216     val _ = Options.reset_default ();
   216   in
   217   in
   217     (case result of
   218     (case result of
   218       Exn.Exn (STOP rc) => if rc = 0 then () else exit rc
   219       Exn.Exn (STOP rc) => if rc = 0 then () else exit rc
   219     | _ => Exn.release result)
   220     | _ => Exn.release result)
   220   end);
   221   end);