--- a/src/Pure/PIDE/document.ML Sun Jun 03 22:02:20 2018 +0200
+++ b/src/Pure/PIDE/document.ML Sun Jun 03 22:16:44 2018 +0200
@@ -515,7 +515,7 @@
if Symtab.defined required name orelse visible_node node orelse pending_result node then
let
fun body () =
- (Execution.worker_task_active true;
+ (Execution.worker_task_active true name;
if forall finished_import deps then
iterate_entries (fn (_, opt_exec) => fn () =>
(case opt_exec of
@@ -525,10 +525,10 @@
else NONE
| NONE => NONE)) node ()
else ();
- Execution.worker_task_active false)
+ Execution.worker_task_active false name)
handle exn =>
(Output.system_message (Runtime.exn_message exn);
- Execution.worker_task_active false;
+ Execution.worker_task_active false name;
Exn.reraise exn);
val future =
(singleton o Future.forks)