--- a/src/Pure/System/isabelle_process.ML Mon Nov 25 21:36:10 2013 +0100
+++ b/src/Pure/System/isabelle_process.ML Thu Nov 28 12:54:39 2013 +0100
@@ -159,8 +159,8 @@
NONE => raise Runtime.TERMINATE
| SOME line => map (read_chunk channel) (space_explode "," line));
-fun worker_context e =
- Future.worker_context "Isabelle_Process.loop" (Future.new_group NONE) e ();
+fun task_context e =
+ Future.task_context "Isabelle_Process.loop" (Future.new_group NONE) e ();
in
@@ -168,7 +168,7 @@
let val continue =
(case read_command channel of
[] => (Output.error_msg "Isabelle process: no input"; true)
- | name :: args => (worker_context (fn () => run_command name args); true))
+ | name :: args => (task_context (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