diff src/cjr_print.sml @ 1478:a10d080123ec

'noXsrfProtection' .urp directive
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Jun 2011 13:50:59 -0400
parents 2f5fd248588d
children ebc30bb262d0
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Jun 23 08:44:03 2011 -0400
+++ b/src/cjr_print.sml	Fri Jun 24 13:50:59 2011 -0400
@@ -2619,7 +2619,7 @@
                      newline,
                      string "if (*request == '/') ++request;",
                      newline,
-                     if couldWrite ek then
+                     if couldWrite ek andalso not (Settings.checkNoXsrfProtection s) then
                          box [string "{",
                               newline,
                               string "uw_Basis_string sig = ",