Mercurial > urweb

diff src/cjr.sml @ 1349:87156c44824f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Periodic tasks
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 15:17:09 -0500
parents 8a169fc0838b
children 0577be31a435
line wrap: on
line diff
--- a/src/cjr.sml	Sat Dec 18 14:17:45 2010 -0500
+++ b/src/cjr.sml	Sat Dec 18 15:17:09 2010 -0500
@@ -103,7 +103,7 @@
 
 withtype exp = exp' located
 
-datatype task = Initialize | ClientLeaves
+datatype task = Initialize | ClientLeaves | Periodic of Int64.int
 
 datatype decl' =
          DStruct of int * (string * typ) list