Mercurial > urweb
diff src/scriptcheck.sml @ 1104:72670131dace
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Dec 2009 11:41:57 -0500 |
parents | b2311dfb3158 |
children | 7a31e0cf25e9 |
line wrap: on
line diff
--- a/src/scriptcheck.sml Wed Dec 30 09:52:18 2009 -0500 +++ b/src/scriptcheck.sml Thu Dec 31 11:41:57 2009 -0500 @@ -159,7 +159,7 @@ val foundBad = ref false - val ps = map (fn (ek, x, n, ts, t, _) => + val ps = map (fn (ek, x, n, ts, t, _, b) => (ek, x, n, ts, t, if IS.member (push_ids, n) then (if not (#persistent proto) andalso not (!foundBad) then @@ -172,7 +172,8 @@ else if IS.member (pull_ids, n) then ServerAndPull else - ServerOnly)) ps + ServerOnly, + b)) ps in (ds, ps) end