Mercurial > urweb

comparison src/scriptcheck.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
157 157
158 val (pull_ids, push_ids) = foldl decl (IS.empty, IS.empty) ds 158 val (pull_ids, push_ids) = foldl decl (IS.empty, IS.empty) ds
159 159
160 val foundBad = ref false 160 val foundBad = ref false
161 161
162 val ps = map (fn (ek, x, n, ts, t, _) => 162 val ps = map (fn (ek, x, n, ts, t, _, b) =>
163 (ek, x, n, ts, t, 163 (ek, x, n, ts, t,
164 if IS.member (push_ids, n) then 164 if IS.member (push_ids, n) then
165 (if not (#persistent proto) andalso not (!foundBad) then 165 (if not (#persistent proto) andalso not (!foundBad) then
166 (foundBad := true; 166 (foundBad := true;
167 ErrorMsg.error ("This program needs server push, but the current protocol (" 167 ErrorMsg.error ("This program needs server push, but the current protocol ("
170 (); 170 ();
171 ServerAndPullAndPush) 171 ServerAndPullAndPush)
172 else if IS.member (pull_ids, n) then 172 else if IS.member (pull_ids, n) then
173 ServerAndPull 173 ServerAndPull
174 else 174 else
175 ServerOnly)) ps 175 ServerOnly,
176 b)) ps
176 in 177 in
177 (ds, ps) 178 (ds, ps)
178 end 179 end
179 180
180 end 181 end