1 /* Settings here override default values from constants.js;for example:
3 urls['AUDIO_good'] = '/xul/server/skin/media/custom/good.wav';
4 urls['opac'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
5 urls['opac_rdetail'] = '/opac/' + LOCALE + '/skin/mylib/xml/rdetail.xml';
6 urls['opac_rresult'] = '/opac/' + LOCALE + '/skin/mylib/xml/rresult.xml';
7 urls['browser'] = '/opac/' + LOCALE + '/skin/mylib/xml/advanced.xml?nps=1';
11 // Debugging aids. _dump_level = 4 enables all dump statements
13 var _dump_prefix = '0';
15 netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");
16 var prefs = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces['nsIPrefBranch']);
17 if (!prefs.prefHasUserValue('oils.unique_id')) {
18 prefs.setIntPref('oils.unique_id',Number(_dump_prefix));
20 var temp = prefs.getIntPref('oils.unique_id') + 1;
21 prefs.setIntPref('oils.unique_id',temp);
22 _dump_prefix = String( temp );
24 dump(' _dump_prefix ' + _dump_prefix + ' = ' + location.href + '\n');
26 dump('Error in custom.js trying to set oils.unique_id\n');