summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-09 17:00:31 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-09 17:00:31 -0500
commitb46835592757b3a597ae99d6dec0ccdb2f94f516 (patch)
treef78b6b9d76ce99669b10928f0ca218d12673d3da
parenteceb1ba3c0c84f4536320aebb45466fb6b1b22d3 (diff)
Set additional request headers for POST RPCs
-rw-r--r--lib/js/urweb.js3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index a5713bf0..13e80e30 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -669,6 +669,9 @@ function requestUri(xhr, uri, needsSig) {
return;
xhr.open("POST", uri, true);
+ xhr.setRequestHeader("Content-type", "text/plain");
+ xhr.setRequestHeader("Content-length", "0");
+ xhr.setRequestHeader("Connection", "close");
if (client_id != null) {
xhr.setRequestHeader("UrWeb-Client", client_id.toString());