From 42c13cbc4563669a4ac4aca6befe85f3caea1078 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 11:45:45 -0400
Subject: Use a timeout to avoid errors after unload

---
 lib/js/urweb.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/js')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 2b4d2643..40b170c4 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -94,7 +94,7 @@ function onServerError(f) {
 }
 
 function servErr(s) {
-  runHandlers("Server", serverHandlers, s);
+  window.setTimeout(function () { runHandlers("Server", serverHandlers, s); }, 0);
 }
 
 
@@ -550,7 +550,8 @@ function listener() {
       }
       else {
         try {
-          servErr("Error querying remote server for messages: " + xhr.status);
+          if (xhr.status != 0)
+            servErr("Error querying remote server for messages: " + xhr.status);
         } catch (e) { servErr("Error querying remote server for messages"); }
       }
     }
-- 
cgit v1.2.3