annotate timer.ur @ 16:2e397d373289

Add RemotePager.
author Karn Kallio <kkallio@eka>
date Thu, 18 Aug 2011 12:53:17 -0430
parents 37eefd0a2ed4
children
rev   line source
adam@0 1 type t = source bool
adam@0 2
adam@0 3 fun create r =
adam@0 4 b <- source False;
adam@0 5 spawn (sleep r.Milliseconds;
adam@0 6 b <- get b;
adam@0 7 if b then
adam@0 8 return ()
adam@0 9 else
adam@0 10 r.Action);
adam@0 11 return b
adam@0 12
adam@0 13 fun cancel b = set b True