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