Mercurial > urweb

comparison src/scriptcheck.sml @ 858:346cf1908a17

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Avoid using prepared statements for non-persistent protocols
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Jun 2009 10:50:45 -0400
parents 28e42b22424d
children 8371d12ae63f
comparison
equal deleted inserted replaced
857:3d2f6cb6d54a 858:346cf1908a17
163 val foundBad = ref false 163 val foundBad = ref false
164 164
165 val ps = map (fn (ek, x, n, ts, t, _) => 165 val ps = map (fn (ek, x, n, ts, t, _) =>
166 (ek, x, n, ts, t, 166 (ek, x, n, ts, t,
167 if IS.member (push_ids, n) then 167 if IS.member (push_ids, n) then
168 (if not (#supportsPush proto) andalso not (!foundBad) then 168 (if not (#persistent proto) andalso not (!foundBad) then
169 (foundBad := true; 169 (foundBad := true;
170 ErrorMsg.error ("This program needs server push, but the current protocol (" 170 ErrorMsg.error ("This program needs server push, but the current protocol ("
171 ^ #name proto ^ ") doesn't support that.")) 171 ^ #name proto ^ ") doesn't support that."))
172 else 172 else
173 (); 173 ();