src/Pure/Concurrent/future.ML

 
     (* shutdown *)
 
     val _ = if Task_Queue.all_passive (! queue) then do_shutdown := true else ();
     val continue = not (! do_shutdown andalso null (! workers));
-    val _ = if continue then () else scheduler := NONE;
+    val _ = if continue then () else (report_status (); scheduler := NONE);
 
     val _ = broadcast scheduler_event;
   in continue end
   handle exn =>
     if Exn.is_interrupt exn then

 fun scheduler_loop () =
  (while
     Multithreading.with_attributes
       (Multithreading.sync_interrupts Multithreading.public_interrupts)
       (fn _ => SYNCHRONIZED "scheduler" (fn () => scheduler_next ()))
-  do (); last_round := Time.zeroTime; report_status ());
+  do (); last_round := Time.zeroTime);
 
 fun scheduler_active () = (*requires SYNCHRONIZED*)
   (case ! scheduler of NONE => false | SOME thread => Thread.isActive thread);
 
 fun scheduler_check () = (*requires SYNCHRONIZED*)