# HG changeset patch
# User wenzelm
# Date 1222985533 -7200
# Node ID 00046e3b46b5360f89ac453e0a382c5df90c6d1b
# Parent  409fedeece30aa88e4bcaf4fc7d32c4ba6fa5c15
slower heartbeat;

diff -r 409fedeece30 -r 00046e3b46b5 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*)