diff lib/js/urweb.js @ 672:df6eb58de040

Fix some AJAX annoyances
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Mar 2009 15:05:28 -0400
parents 729e65db2e2f
children a8effb6159c2
line wrap: on
line diff
--- a/lib/js/urweb.js	Tue Mar 24 14:44:45 2009 -0400
+++ b/lib/js/urweb.js	Tue Mar 24 15:05:28 2009 -0400
@@ -275,7 +275,9 @@
         requestUri(xhr, uri);
       }
       else {
-        whine("Error querying remote server for messages!");
+        try {
+          whine("Error querying remote server for messages! " + xhr.status);
+        } catch (e) { }
       }
     }
   };