# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1314366698 14400
# Node ID 355a928871ffc59c9e30c19f5f4ffdb15733ed2d
# Parent  76dab73304a56a2b312d6e98c22d3dbf845d2e43
Gracefully accept browser's refusal to let us set certain AJAX headers

diff -r 76dab73304a5 -r 355a928871ff lib/js/urweb.js
--- a/lib/js/urweb.js	Wed Aug 24 08:18:09 2011 -0400
+++ b/lib/js/urweb.js	Fri Aug 26 09:51:38 2011 -0400
@@ -772,8 +772,10 @@
 
     xhr.open("POST", uri, true);
     xhr.setRequestHeader("Content-type", "text/plain");
-    xhr.setRequestHeader("Content-length", "0");
-    xhr.setRequestHeader("Connection", "close");
+    try {
+        xhr.setRequestHeader("Content-length", "0");
+        xhr.setRequestHeader("Connection", "close");
+    } catch (e) { }
 
     if (client_id != null) {
         xhr.setRequestHeader("UrWeb-Client", client_id.toString());