# HG changeset patch # User Adam Chlipala # Date 1313940461 14400 # Node ID 2947170fcfd6a5d3078fa303a44a65aec4712e61 # Parent 2e397d373289afcc9534a01bf743362885bec6f0 Fix sign error in clock skew correction diff -r 2e397d373289 -r 2947170fcfd6 clock.ur --- 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 diff -r 2e397d373289 -r 2947170fcfd6 examples/countdown.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/examples/countdown.ur Sun Aug 21 11:27:41 2011 -0400 @@ -0,0 +1,14 @@ +fun main () : transaction page = + start <- now; + deadline <- return (addSeconds start 60); + cl <- Clock.create 500; + return + + {[cl]}
+ {if cl > deadline then + Expired + else + {[diffInSeconds cl deadline]}} + }/> + diff -r 2e397d373289 -r 2947170fcfd6 examples/countdown.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/examples/countdown.urp Sun Aug 21 11:27:41 2011 -0400 @@ -0,0 +1,5 @@ +path META=../../meta +library .. +rewrite url Countdown/* + +countdown