changeset 52712 | 43e48bb554ba |
parent 52710 | 52790e3961fe |
child 52770 | 8c7cf864e270 |
--- a/src/Pure/System/isabelle_process.ML Fri Jul 19 20:56:39 2013 +0200 +++ b/src/Pure/System/isabelle_process.ML Fri Jul 19 23:29:43 2013 +0200 @@ -188,7 +188,7 @@ | name :: args => (worker_guest (fn () => run_command name args); true)) handle Runtime.TERMINATE => false | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true); - in if continue then loop channel else () end; + in if continue then loop channel else Future.shutdown () end; end;