comparison tests/periodic.ur @ 1349:87156c44824f
Periodic tasks
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sat, 18 Dec 2010 15:17:09 -0500 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 task periodic 5 = fn () => debug "Every 5 seconds" |
| |
2 task periodic 13 = fn () => debug "Every 13 seconds" |
| |
3 |
| |
4 fun main () : transaction page = return <xml/> |
