pro-forma Goal.reset_futures, despite lack of final join/commit;
authorwenzelm
Mon Jul 29 15:09:20 2013 +0200 (2013-07-29 ago)
changeset 527708c7cf864e270
parent 52769 0827b6f5de44
child 52771 5009911c7403
pro-forma Goal.reset_futures, despite lack of final join/commit;
src/Pure/System/isabelle_process.ML
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Jul 29 15:01:44 2013 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Jul 29 15:09:20 2013 +0200
     1.3 @@ -188,7 +188,10 @@
     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 Future.shutdown () end;
     1.8 +  in
     1.9 +    if continue then loop channel
    1.10 +    else (Future.shutdown (); Goal.reset_futures (); ())
    1.11 +  end;
    1.12  
    1.13  end;
    1.14