# HG changeset patch # User Adam Chlipala # Date 1258831775 18000 # Node ID 83d8ddd09d95f38338ac871ce12b3074e856d4e3 # Parent e214ac93d73e07f2edd08c76a7388873a9034aac Send RPCs with POST, to avoid caching diff -r e214ac93d73e -r 83d8ddd09d95 lib/js/urweb.js --- a/lib/js/urweb.js Sat Nov 21 13:50:59 2009 -0500 +++ b/lib/js/urweb.js Sat Nov 21 14:29:35 2009 -0500 @@ -610,7 +610,7 @@ 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()); diff -r e214ac93d73e -r 83d8ddd09d95 src/c/request.c --- a/src/c/request.c Sat Nov 21 13:50:59 2009 -0500 +++ b/src/c/request.c Sat Nov 21 14:29:35 2009 -0500 @@ -172,8 +172,9 @@ if (!strcmp(method, "POST")) { char *clen_s = uw_Basis_requestHeader(ctx, "Content-length"); if (!clen_s) { - log_error(logger_data, "No Content-length with POST\n"); - return FAILED; + clen_s = "0"; + /*log_error(logger_data, "No Content-length with POST\n"); + return FAILED;*/ } int clen = atoi(clen_s); if (clen < 0) {