# HG changeset patch
# User wenzelm
# Date 1375103360 -7200
# Node ID 8c7cf864e270a2816791e96ffefb691861b52ca8
# Parent  0827b6f5de44b0bcbf219ffeb7e7c0083f9f6806
pro-forma Goal.reset_futures, despite lack of final join/commit;

diff -r 0827b6f5de44 -r 8c7cf864e270 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Mon Jul 29 15:01:44 2013 +0200
+++ b/src/Pure/System/isabelle_process.ML	Mon Jul 29 15:09:20 2013 +0200
@@ -188,7 +188,10 @@
     | 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 Future.shutdown () end;
+  in
+    if continue then loop channel
+    else (Future.shutdown (); Goal.reset_futures (); ())
+  end;
 
 end;