diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-09 17:00:31 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-09 17:00:31 -0500 |
| commit | b46835592757b3a597ae99d6dec0ccdb2f94f516 (patch) | |
| tree | f78b6b9d76ce99669b10928f0ca218d12673d3da /lib/js/urweb.js | |
| parent | eceb1ba3c0c84f4536320aebb45466fb6b1b22d3 (diff) | |
Set additional request headers for POST RPCs
Diffstat (limited to 'lib/js/urweb.js')
| -rw-r--r-- | lib/js/urweb.js | 3 |
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()); |