1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Nov 25 21:36:10 2013 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Thu Nov 28 12:54:39 2013 +0100
     1.3 @@ -159,8 +159,8 @@
     1.4      NONE => raise Runtime.TERMINATE
     1.5    | SOME line => map (read_chunk channel) (space_explode "," line));
     1.6  
     1.7 -fun worker_context e =
     1.8 -  Future.worker_context "Isabelle_Process.loop" (Future.new_group NONE) e ();
     1.9 +fun task_context e =
    1.10 +  Future.task_context "Isabelle_Process.loop" (Future.new_group NONE) e ();
    1.11  
    1.12  in
    1.13  
    1.14 @@ -168,7 +168,7 @@
    1.15    let val continue =
    1.16      (case read_command channel of
    1.17        [] => (Output.error_msg "Isabelle process: no input"; true)
    1.18 -    | name :: args => (worker_context (fn () => run_command name args); true))
    1.19 +    | name :: args => (task_context (fn () => run_command name args); true))
    1.20      handle Runtime.TERMINATE => false
    1.21        | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
    1.22    in