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