Mercurial > gui
view examples/countdown.ur @ 25:a037ed3854e3
Change time format to work portably in JavaScript
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 04 Dec 2011 16:33:48 -0500 |
parents | 2947170fcfd6 |
children |
line wrap: on
line source
fun main () : transaction page = start <- now; deadline <- return (addSeconds start 60); cl <- Clock.create 500; return <xml><body onload={Clock.start cl}> <dyn signal={cl <- Clock.signal cl; return <xml> {[cl]}<br/> {if cl > deadline then <xml><b>Expired</b></xml> else <xml>{[diffInSeconds cl deadline]}</xml>} </xml>}/> </body></xml>