slower heartbeat;
authorwenzelm
Fri, 03 Oct 2008 00:12:13 +0200
changeset 28471 00046e3b46b5
parent 28470 409fedeece30
child 28472 500ff7219782
slower heartbeat;
src/Pure/Concurrent/future.ML
--- a/src/Pure/Concurrent/future.ML	Thu Oct 02 23:52:12 2008 +0200
+++ b/src/Pure/Concurrent/future.ML	Fri Oct 03 00:12:13 2008 +0200
@@ -190,7 +190,7 @@
 
 fun heartbeat name =
  (Multithreading.tracing 1 (fn () => name);
-  OS.Process.sleep (Time.fromMilliseconds 100);
+  OS.Process.sleep (Time.fromSeconds 2);
   if ! do_shutdown then () else heartbeat name);
 
 fun scheduler_next () = (*requires SYNCHRONIZED*)