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

---
 lib/js/urweb.js | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index a5ab90c5..e6c2124f 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1137,10 +1137,17 @@ function unload() {
     }
 }
 
-function requestUri(xhr, uri, needsSig) {
+function requestUri(xhr, uri, needsSig, isRpc) {
     if (unloading)
         return;
 
+    var extraData = null;
+
+    if (isRpc && uri.length > 2000) {
+        extraData = uri.substring(2000);
+        uri = uri.substring(0, 2000);
+    }
+
     xhr.open("POST", uri, true);
     xhr.setRequestHeader("Content-type", "text/plain");
     try {
@@ -1161,7 +1168,7 @@ function requestUri(xhr, uri, needsSig) {
     }
 
     inFlight = cons(xhr, inFlight);
-    xhr.send(null);
+    xhr.send(extraData);
 }
 
 function xhrFinished(xhr) {
@@ -1211,7 +1218,7 @@ function rc(prefix, uri, parse, k, needsSig) {
         }
     };
 
-    requestUri(xhr, uri, needsSig);
+    requestUri(xhr, uri, needsSig, true);
 }
 
 function path_join(s1, s2) {
@@ -1260,7 +1267,7 @@ function listener() {
     var connect = function () {
         xhr.onreadystatechange = orsc;
         tid = window.setTimeout(onTimeout, timeout * 500);
-        requestUri(xhr, uri, false);
+        requestUri(xhr, uri, false, false);
     }
 
     orsc = function() {
-- 
cgit v1.2.3