From f10d7950cdeffcd387f638adf3bdfa32b1f3773c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 3 Mar 2012 16:41:20 -0500
Subject: Avoid URL size limit in RPCs with large arguments

---
 src/cjr_print.sml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src')

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 65344ffb..29b0f5d2 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -2971,6 +2971,18 @@ fun p_file env (ds, ps) =
                      newline,
                      string "if (*request == '/') ++request;",
                      newline,
+                     case ek of
+                         Rpc _ => box [string "if (uw_hasPostBody(ctx)) {",
+                                       newline,
+                                       box [string "uw_Basis_postBody pb = uw_getPostBody(ctx);",
+                                            newline,
+                                            string "if (pb.data[0])",
+                                            newline,
+                                            box [string "request = uw_Basis_strcat(ctx, request, pb.data);"],
+                                            newline],
+                                       string "}",
+                                       newline]
+                       | _ => box [],
                      if couldWrite ek andalso not (Settings.checkNoXsrfProtection s) then
                          box [string "{",
                               newline,
-- 
cgit v1.2.3