From 0fbca40653860ebc0f83203bd282a15277761387 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 12 Apr 2012 15:16:53 -0400 Subject: [PATCH] Fix latent bug in os-timer.rkt --- os-timer.rkt | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/os-timer.rkt b/os-timer.rkt index f9a058d..bd4b2d5 100644 --- a/os-timer.rkt +++ b/os-timer.rkt @@ -117,14 +117,12 @@ (subscribe 'timer-relay-up (meta-message-handlers (relay-state next-counter active-timers) [(timer-expired (list (== self-id) counter) now) - (if (hash-has-key? active-timers counter) - (transition (relay-state next-counter - (hash-remove active-timers counter)) - (send-message (timer-expired (hash-ref active-timers counter) now))) - active-timers)])) + (transition (relay-state next-counter (hash-remove active-timers counter)) + (if (hash-has-key? active-timers counter) + (send-message (timer-expired (hash-ref active-timers counter) now)) + '()))])) (subscribe 'timer-relay-down (message-handlers (relay-state next-counter active-timers) [(set-timer label msecs kind) - (transition (relay-state (+ next-counter 1) - (hash-set active-timers next-counter label)) + (transition (relay-state (+ next-counter 1) (hash-set active-timers next-counter label)) (send-meta-message (set-timer (list self-id next-counter) msecs kind)))]))))