author | wenzelm |
Fri, 03 Oct 2008 00:12:13 +0200 | |
changeset 28471 | 00046e3b46b5 |
parent 28470 | 409fedeece30 |
child 28472 | 500ff7219782 |
--- 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*)