diff 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
line wrap: on
line diff
--- a/clock.ur	Thu Aug 18 12:53:17 2011 -0430
+++ b/clock.ur	Sun Aug 21 11:27:41 2011 -0400
@@ -25,7 +25,7 @@
     in
         spawn (server <- rpc (serverTime ());
                local <- now;
-               set t.Skew (diffInSeconds server local));
+               set t.Skew (diffInSeconds local server));
         spawn (loop ())
     end