comparison clock.ur @ 17:2947170fcfd6

Fix sign error in clock skew correction
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Aug 2011 11:27:41 -0400
parents ccd0a169e827
children
comparison
equal deleted inserted replaced
16:2e397d373289 17:2947170fcfd6
23 23
24 fun serverTime () = now 24 fun serverTime () = now
25 in 25 in
26 spawn (server <- rpc (serverTime ()); 26 spawn (server <- rpc (serverTime ());
27 local <- now; 27 local <- now;
28 set t.Skew (diffInSeconds server local)); 28 set t.Skew (diffInSeconds local server));
29 spawn (loop ()) 29 spawn (loop ())
30 end 30 end
31 31
32 fun signal t = Basis.signal t.Source 32 fun signal t = Basis.signal t.Source