comparison src/cjr_print.sml @ 1691:ea292bf9431f

Avoid URL size limit in RPCs with large arguments
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Mar 2012 16:41:20 -0500
parents a12186d99e4f
children a1a1d66aebac
comparison
equal deleted inserted replaced
1690:a7b70c7b3f1a 1691:ea292bf9431f
2969 string (Int.toString (size s)), 2969 string (Int.toString (size s)),
2970 string ";", 2970 string ";",
2971 newline, 2971 newline,
2972 string "if (*request == '/') ++request;", 2972 string "if (*request == '/') ++request;",
2973 newline, 2973 newline,
2974 case ek of
2975 Rpc _ => box [string "if (uw_hasPostBody(ctx)) {",
2976 newline,
2977 box [string "uw_Basis_postBody pb = uw_getPostBody(ctx);",
2978 newline,
2979 string "if (pb.data[0])",
2980 newline,
2981 box [string "request = uw_Basis_strcat(ctx, request, pb.data);"],
2982 newline],
2983 string "}",
2984 newline]
2985 | _ => box [],
2974 if couldWrite ek andalso not (Settings.checkNoXsrfProtection s) then 2986 if couldWrite ek andalso not (Settings.checkNoXsrfProtection s) then
2975 box [string "{", 2987 box [string "{",
2976 newline, 2988 newline,
2977 string "uw_Basis_string sig = ", 2989 string "uw_Basis_string sig = ",
2978 case fields of 2990 case fields of