src/Pure/Concurrent/event_timer.ML

--- a/src/Pure/Concurrent/event_timer.ML	Thu Jan 29 13:58:02 2015 +0100
+++ b/src/Pure/Concurrent/event_timer.ML	Thu Jan 29 15:21:16 2015 +0100
@@ -104,7 +104,7 @@
 
 fun manager_check manager =
   if is_some manager andalso Thread.isActive (the manager) then manager
-  else SOME (Simple_Thread.fork false manager_loop);
+  else SOME (Simple_Thread.fork {stack_limit = NONE, interrupts = false} manager_loop);
 
 fun shutdown () =
   uninterruptible (fn restore_attributes => fn () =>