From 756283988dd7d7235c228b3b99e6c7f6c73bf122 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 27 Jun 2009 10:50:45 -0400 Subject: Avoid using prepared statements for non-persistent protocols --- src/scriptcheck.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/scriptcheck.sml') 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.")) -- cgit v1.2.3