From 70b8d875b713d4f2b9acad76cbf4c1478c56d47e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 19 Feb 2012 17:09:07 -0500 Subject: [PATCH] Switch to symbolic specification of relative timeouts --- network-query.rkt | 2 +- proxy.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/network-query.rkt b/network-query.rkt index 3f81542..c7244b4 100644 --- a/network-query.rkt +++ b/network-query.rkt @@ -220,7 +220,7 @@ (newline)) (transition w (send-message (dns-request query s server-ip)) - (send-message (set-timer subscription-id (* timeout 1000) #t)) + (send-message (set-timer subscription-id (* timeout 1000) 'relative)) (subscribe subscription-id (message-handlers w [(timer-expired (== subscription-id) _) diff --git a/proxy.rkt b/proxy.rkt index 2d075b2..2b5a3ab 100644 --- a/proxy.rkt +++ b/proxy.rkt @@ -149,7 +149,7 @@ (transition new-zone (for/list ([timerspec timers]) (match-define (cons name ttl) timerspec) - (send-message (set-timer (list 'check-dns-expiry name) (* ttl 1000) #t))))) + (send-message (set-timer (list 'check-dns-expiry name) (* ttl 1000) 'relative))))) (os-big-bang/transition (extend-transition (let-values (((expired-zone timers) (zone-expire zone0))) (transition-and-set-timers expired-zone timers))