comparison 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
comparison
equal deleted inserted replaced
1477:d65387bdc557 1478:a10d080123ec
2617 string (Int.toString (size s)), 2617 string (Int.toString (size s)),
2618 string ";", 2618 string ";",
2619 newline, 2619 newline,
2620 string "if (*request == '/') ++request;", 2620 string "if (*request == '/') ++request;",
2621 newline, 2621 newline,
2622 if couldWrite ek then 2622 if couldWrite ek andalso not (Settings.checkNoXsrfProtection s) then
2623 box [string "{", 2623 box [string "{",
2624 newline, 2624 newline,
2625 string "uw_Basis_string sig = ", 2625 string "uw_Basis_string sig = ",
2626 case fields of 2626 case fields of
2627 NONE => string "uw_Basis_requestHeader(ctx, \"UrWeb-Sig\")" 2627 NONE => string "uw_Basis_requestHeader(ctx, \"UrWeb-Sig\")"