From ebe66ec08034dc1bc36d8b1eb7d66103de98390f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 24 Mar 2009 15:05:28 -0400 Subject: Fix some AJAX annoyances --- lib/js/urweb.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lib/js/urweb.js') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 1f6ecb3d..be1aea08 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -275,7 +275,9 @@ function listener() { requestUri(xhr, uri); } else { - whine("Error querying remote server for messages!"); + try { + whine("Error querying remote server for messages! " + xhr.status); + } catch (e) { } } } }; -- cgit v1.2.3