comparison lib/js/urweb.js @ 1549:355a928871ff

Gracefully accept browser's refusal to let us set certain AJAX headers
author Adam Chlipala <adam@chlipala.net>
date Fri, 26 Aug 2011 09:51:38 -0400
parents ade93cd5bc59
children c3b5cf5c2f98
comparison
equal deleted inserted replaced
1548:76dab73304a5 1549:355a928871ff
770 if (unloading) 770 if (unloading)
771 return; 771 return;
772 772
773 xhr.open("POST", uri, true); 773 xhr.open("POST", uri, true);
774 xhr.setRequestHeader("Content-type", "text/plain"); 774 xhr.setRequestHeader("Content-type", "text/plain");
775 xhr.setRequestHeader("Content-length", "0"); 775 try {
776 xhr.setRequestHeader("Connection", "close"); 776 xhr.setRequestHeader("Content-length", "0");
777 xhr.setRequestHeader("Connection", "close");
778 } catch (e) { }
777 779
778 if (client_id != null) { 780 if (client_id != null) {
779 xhr.setRequestHeader("UrWeb-Client", client_id.toString()); 781 xhr.setRequestHeader("UrWeb-Client", client_id.toString());
780 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString()); 782 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString());
781 } 783 }