summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-21 14:29:35 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-21 14:29:35 -0500
commitc093f1381ed3851c75aafa8f10725c31e1b368d2 (patch)
treee54fbd7d89a40f9432778eedd31f41ffded4ca52 /lib/js
parent95bdfc31cee22f24bc3b239751d2d4a416014436 (diff)
Send RPCs with POST, to avoid caching
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 5885143e..9f3c332f 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -610,7 +610,7 @@ function getXHR(uri)
var sig = null;
function requestUri(xhr, uri, needsSig) {
- xhr.open("GET", uri, true);
+ xhr.open("POST", uri, true);
if (client_id != null) {
xhr.setRequestHeader("UrWeb-Client", client_id.toString());