diff chrome/pageloader.js @ 198:59d4f04497dd

package into extension for profile, add direct file logging instead of stdout r=vlad
author Joel Maher <jmaher@mozilla.com>
date Tue, 05 Oct 2010 17:01:29 -0400
parents b4da709724e1
children 31249cbe4f19
line wrap: on
line diff
--- a/chrome/pageloader.js	Fri Sep 17 11:34:40 2010 -0400
+++ b/chrome/pageloader.js	Tue Oct 05 17:01:29 2010 -0400
@@ -37,8 +37,12 @@
  *
  * ***** END LICENSE BLOCK ***** */
 
-const Cc = Components.classes;
-const Ci = Components.interfaces;
+try {
+  if (Cc === undefined) {
+    var Cc = Components.classes;
+    var Ci = Components.interfaces;
+  }
+} catch (ex) {}
 
 var NUM_CYCLES = 5;
 
@@ -371,6 +375,9 @@
   if (content)
     content.removeEventListener('load', plLoadHandler, true);
 
+  if (MozillaFileLogger)
+    MozillaFileLogger.close();
+
   goQuitApplication();
 }
 
@@ -448,6 +455,8 @@
 }
 
 function dumpLine(str) {
+  if (MozillaFileLogger)
+    MozillaFileLogger.log(str + "\n");
   dump(str);
   dump("\n");
 }