comparison lib/js/urweb.js @ 1037:83d8ddd09d95

Send RPCs with POST, to avoid caching
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Nov 2009 14:29:35 -0500
parents e214ac93d73e
children dcc6093e9575
comparison
equal deleted inserted replaced
1036:e214ac93d73e 1037:83d8ddd09d95
608 } 608 }
609 609
610 var sig = null; 610 var sig = null;
611 611
612 function requestUri(xhr, uri, needsSig) { 612 function requestUri(xhr, uri, needsSig) {
613 xhr.open("GET", uri, true); 613 xhr.open("POST", uri, true);
614 614
615 if (client_id != null) { 615 if (client_id != null) {
616 xhr.setRequestHeader("UrWeb-Client", client_id.toString()); 616 xhr.setRequestHeader("UrWeb-Client", client_id.toString());
617 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString()); 617 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString());
618 } 618 }