diff options
author | Andrew Dolgov <[email protected]> | 2006-05-23 08:15:48 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2006-05-23 08:15:48 +0100 |
commit | a756529344fa6bfab8deded10c9750ce1bfd56ac (patch) | |
tree | 4dc3f924c31b456675416c3376a3b0ec97e4ebe6 /functions.js | |
parent | ee1f45f4c77703b85c63bca1888b1c9cab3168da (diff) |
add sanity check & debug mode to prefs; misc code cleanups
Diffstat (limited to 'functions.js')
-rw-r--r-- | functions.js | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/functions.js b/functions.js index c03176255..355793640 100644 --- a/functions.js +++ b/functions.js @@ -1,5 +1,7 @@ var hotkeys_enabled = true; +var xmlhttp_rpc = Ajax.getTransport(); + function browser_has_opacity() { return navigator.userAgent.match("Gecko") != null || navigator.userAgent.match("Opera") != null; @@ -463,8 +465,6 @@ function setActiveFeedId(id) { } } -var xmlhttp_rpc = Ajax.getTransport(); - function parse_counters(reply, scheduled_call) { try { var f_document = getFeedsContext().document; @@ -1159,3 +1159,19 @@ function storeInitParam(key, value, is_client) { exception_error("storeInitParam", e); } } + +function fatalError(code, message) { + try { + var fe = document.getElementById("fatal_error"); + var fc = document.getElementById("fatal_error_msg"); + + fc.innerHTML = "Code " + code + ": " + message; + + fe.style.display = "block"; + + } catch (e) { + exception_error("fatalError", e); + } +} + + |