Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/scriptcheck.sml	Sat Jun 27 10:30:51 2009 -0400
+++ b/src/scriptcheck.sml	Sat Jun 27 10:50:45 2009 -0400
@@ -165,7 +165,7 @@
         val ps = map (fn (ek, x, n, ts, t, _) =>
                          (ek, x, n, ts, t,
                           if IS.member (push_ids, n) then
-                              (if not (#supportsPush proto) andalso not (!foundBad) then
+                              (if not (#persistent proto) andalso not (!foundBad) then
                                    (foundBad := true;
                                     ErrorMsg.error ("This program needs server push, but the current protocol ("
                                                     ^ #name proto ^ ") doesn't support that."))