// Debugging aids. _dump_level = 4 enables all dump statements
_dump_level = 4;
+
var _dump_prefix = '0';
try {
netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");
var temp = prefs.getIntPref('oils.unique_id') + 1;
prefs.setIntPref('oils.unique_id',temp);
_dump_prefix = String( temp );
+ switch( temp % 5 ) {
+ case 0: _dump_prefix = '!! ' + _dump_prefix; break;
+ case 1: _dump_prefix = '@@ ' + _dump_prefix; break;
+ case 2: _dump_prefix = '## ' + _dump_prefix; break;
+ case 3: _dump_prefix = '$$ ' + _dump_prefix; break;
+ case 4: default: _dump_prefix = '%% ' + _dump_prefix; break;
+ }
}
- dump(' _dump_prefix ' + _dump_prefix + ' = ' + location.href + '\n');
+ dump(' >>>>>>>>>>>>>>>>>>>>>>>>>>>> ' + _dump_prefix + ' = ' + location.href + '\n');
} catch(E) {
dump('Error in custom.js trying to set oils.unique_id\n');
}
-
+function dump_xulG(msg) {
+ dump('[[[[[[[[[[[[[[[[[[[[[[[[[[[[[\n');
+ dump(msg +'\n');
+ if (xulG) {
+ for (var i in xulG) {
+ dump('xulG['+i+'] = '+xulG[i]+'\n');
+ }
+ } else {
+ dump('no xulG\n');
+ }
+ dump(']]]]]]]]]]]]]]]]]]]]]]]]]]]]]\n');
+}