diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-06-27 10:50:45 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-27 10:50:45 -0400 |
commit | 756283988dd7d7235c228b3b99e6c7f6c73bf122 (patch) | |
tree | ce2e6f57c5abbacefb996b3bae88a1bf2802dc1e /src/scriptcheck.sml | |
parent | 35cfed265b313d645c850f1ed24f6e8f937a410c (diff) |
Avoid using prepared statements for non-persistent protocols
Diffstat (limited to 'src/scriptcheck.sml')
-rw-r--r-- | src/scriptcheck.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml index e0b9f855..09e9e884 100644 --- a/src/scriptcheck.sml +++ b/src/scriptcheck.sml @@ -165,7 +165,7 @@ fun classify (ds, ps) = 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.")) |