src/Pure/System/isabelle_process.ML
changeset 52770 8c7cf864e270
parent 52712 43e48bb554ba
child 52786 9795ea654905
equal deleted inserted replaced
52769:0827b6f5de44 52770:8c7cf864e270
   186     (case read_command channel of
   186     (case read_command channel of
   187       [] => (Output.error_msg "Isabelle process: no input"; true)
   187       [] => (Output.error_msg "Isabelle process: no input"; true)
   188     | name :: args => (worker_guest (fn () => run_command name args); true))
   188     | name :: args => (worker_guest (fn () => run_command name args); true))
   189     handle Runtime.TERMINATE => false
   189     handle Runtime.TERMINATE => false
   190       | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
   190       | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
   191   in if continue then loop channel else Future.shutdown () end;
   191   in
       
   192     if continue then loop channel
       
   193     else (Future.shutdown (); Goal.reset_futures (); ())
       
   194   end;
   192 
   195 
   193 end;
   196 end;
   194 
   197 
   195 
   198 
   196 (* init *)
   199 (* init *)