Mercurial > urweb
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