comparison 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
comparison
equal deleted inserted replaced
1383:0af6bd2dd149 1384:86d23010ea74
2586 fun couldWrite ek = 2586 fun couldWrite ek =
2587 case ek of 2587 case ek of
2588 Link => false 2588 Link => false
2589 | Action ef => ef = ReadCookieWrite 2589 | Action ef => ef = ReadCookieWrite
2590 | Rpc ef => ef = ReadCookieWrite 2590 | Rpc ef => ef = ReadCookieWrite
2591 | Extern ef => ef = ReadCookieWrite 2591 | Extern _ => false
2592 2592
2593 val s = 2593 val s =
2594 case Settings.getUrlPrefix () of 2594 case Settings.getUrlPrefix () of
2595 "" => s 2595 "" => s
2596 | "/" => s 2596 | "/" => s