diff options
| -rw-r--r-- | backend.php | 9 | ||||
| -rw-r--r-- | functions.js | 6 |
2 files changed, 12 insertions, 3 deletions
diff --git a/backend.php b/backend.php index 39b0f5f39..debb55c55 100644 --- a/backend.php +++ b/backend.php @@ -1248,7 +1248,14 @@ <script type=\"text/javascript\"> try { document.onkeydown = hotkey_handler; - parent.update_all_counters(\"$feed\"); + try { + parent.update_all_counters(\"$feed\"); + } catch (e) { + // this is workaround against mysterious permission + // denied feature/bug of firefox (ticket #73) + // if call from this context failed - ignore silently + exception_error(\"viewfeed/footer1/counters\", e, true); + } } catch (e) { exception_error(\"viewfeed/footer1\", e); } diff --git a/functions.js b/functions.js index 93a36b587..c6f1e0d03 100644 --- a/functions.js +++ b/functions.js @@ -7,7 +7,7 @@ function browser_has_opacity() { navigator.userAgent.match("Opera") != null; } -function exception_error(location, e) { +function exception_error(location, e, silent) { var msg; if (e.fileName) { @@ -23,7 +23,9 @@ function exception_error(location, e) { debug("<b>EXCEPTION: " + msg + "</b>"); - alert(msg); + if (!silent) { + alert(msg); + } } function disableHotkeys() { |