Mercurial > urweb

diff src/cjrize.sml @ 693:655bcc9b77e0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
_Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Apr 2009 14:03:39 -0400
parents f73913d97a40
children 500e93aa436f
line wrap: on
line diff
--- a/src/cjrize.sml	Sat Apr 04 12:54:39 2009 -0400
+++ b/src/cjrize.sml	Sat Apr 04 14:03:39 2009 -0400
@@ -520,7 +520,7 @@
             val (ts, sm) = ListUtil.foldlMap cifyTyp sm ts
             val (t, sm) = cifyTyp (t, sm)
         in
-            (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndClient), sm)
+            (NONE, SOME (ek, "/" ^ s, n, ts, t, L'.ServerAndPullAndPush), sm)
         end
 
       | L.DTable (s, xts) =>