Skip to content
Browse files

[fix] scheduler,timer: reduce time drift for tasks taking time

  • Loading branch information...
1 parent b38c2f6 commit e9a9c8f95df8f2e179f9fc3968b9b18cd0342e35 @OpaOnWindowsNow OpaOnWindowsNow committed May 30, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 appruntime/scheduler.ml
View
2 appruntime/scheduler.ml
@@ -564,8 +564,8 @@ let sleep sched time timer_fun =
let timer sched time timer_fun =
let rec f() =
try
+ ignore(sleep sched time f);
timer_fun ();
- ignore(sleep sched time f)
with
| StopTimer -> ()
| Sys.Break as e -> raise e

0 comments on commit e9a9c8f

Please sign in to comment.
Something went wrong with that request. Please try again.