Removed setting of ignored XMLHttpRequest headers.

1 files changed, 0 insertions, 4 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 4645df51..6e67cde7 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1332,10 +1332,6 @@ function requestUri(xhr, uri, needsSig, isRpc) {
 
     xhr.open("POST", uri, !unloading);
     xhr.setRequestHeader("Content-type", "text/plain");
-    try {
-        xhr.setRequestHeader("Content-length", "0");
-        xhr.setRequestHeader("Connection", "close");
-    } catch (e) { }
 
     if (client_id != null) {
         xhr.setRequestHeader("UrWeb-Client", client_id.toString());