From f6784e37d5a512432ece6e0e89bb9e253de58a2f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 24 Jun 2011 13:50:59 -0400
Subject: 'noXsrfProtection' .urp directive

---
 src/cjr_print.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/cjr_print.sml')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index f2455636..9b747bcb 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2619,7 +2619,7 @@ fun p_file env (ds, ps) =
                      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 = ",
-- 
cgit v1.2.3