From d967a12fd83892bb8bfb663dec6b989643ca21c2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Nov 2009 14:29:35 -0500 Subject: Send RPCs with POST, to avoid caching --- lib/js/urweb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/js/urweb.js') 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()); -- cgit v1.2.3