diff src/cjr_print.sml @ 1384:86d23010ea74

Ignore unknown names in query string name-value pairs; allow any side effects by Extern URLs, without signature checking
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 12:49:14 -0500
parents bf58ca871c00
children 59c8a19bfb22
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Jan 06 12:31:13 2011 -0500
+++ b/src/cjr_print.sml	Thu Jan 06 12:49:14 2011 -0500
@@ -2588,7 +2588,7 @@
                         Link => false
                       | Action ef => ef = ReadCookieWrite
                       | Rpc ef => ef = ReadCookieWrite
-                      | Extern ef => ef = ReadCookieWrite
+                      | Extern _ => false
 
                 val s =
                     case Settings.getUrlPrefix () of