TODO
This commit is contained in:
parent
f5efa77d91
commit
979d057f3f
|
@ -82,6 +82,9 @@
|
||||||
(current-inexact-milliseconds))
|
(current-inexact-milliseconds))
|
||||||
(define timer-id (gensym 'timestate))
|
(define timer-id (gensym 'timestate))
|
||||||
(on-start (send! (set-timer timer-id msecs 'absolute)))
|
(on-start (send! (set-timer timer-id msecs 'absolute)))
|
||||||
|
;; TODO: on-stop to delete irrelevant timers, so that their background-activity is
|
||||||
|
;; removed, so that programs don't stay running uselessly while previously-set but
|
||||||
|
;; now-unwanted timers expire unobserved.
|
||||||
(on (message (timer-expired timer-id _))
|
(on (message (timer-expired timer-id _))
|
||||||
(react (assert (later-than msecs))))))
|
(react (assert (later-than msecs))))))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue