diff options
Diffstat (limited to 'chrome/content/log.html')
| -rw-r--r-- | chrome/content/log.html | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/chrome/content/log.html b/chrome/content/log.html deleted file mode 100644 index a4f04d1..0000000 --- a/chrome/content/log.html +++ /dev/null @@ -1,35 +0,0 @@ -<!-- $Id$ -->
-<html>
- <head>
- <title>Redirector Log Message Listener
- <style type="text/css">
- body { font-family:Arial, sans-serif; }
- </style>
- </head>
- <body onunload="unload();" onload="load();">
- <script>
- var listener = {
- observe : function(msg) {
- var prefix = 'REDIRECTOR:';
- if (msg.message.substr(0, prefix.length) == prefix)
- {
- if (document) {
- document.body.innerHTML += msg.message.substr(prefix.length) + '<br>';
- } else {
- //Been destroyed and we're still getting message, lets try to unsubscribe...
- try { unload(); } catch(e) {}
- }
- }
- }
- };
- var consoleService = Components.classes["@mozilla.org/consoleservice;1"].getService(Components.interfaces.nsIConsoleService);
-
- function load() {
- consoleService.registerListener(listener);
- }
- function unload() {
- consoleService.unregisterListener(listener);
- }
- </script>
- </body>
-</html>
\ No newline at end of file |