context:     function prefGetter ()    {        if (typeof realValue == "undefined" ||            prefName in prefManager.dirtyPrefs)        {            try            {                if (typeof defaultValue == "boolean")                {                    realValue = prefManager.prefBranch.getBoolPref(prefName);                }                else if (typeof defaultValue == "number")                {                    realValue = prefManager.prefBranch.getIntPref(prefName);                }                else if (defaultValue instanceof Array)                {                    realValue = prefManager.prefBranch.getCharPref(prefName);                    realValue = realValue.split(/s*;\s*/);                    for (i = 0; i < realValue.length; ++i)                        realValue[i] = unencode(realValue[i]);                }                else if (typeof defaultValue == "string")                {                    realValue = prefManager.prefBranch.getCharPref(prefName);                }                else                {                    realValue = defaultValue;                }            }            catch (ex)            {                //dd ("caught exception reading pref ``" + prefName + "'' " +                //    type + "\n" + ex);                realValue = defaultValue;            }        }        delete prefManager.dirtyPrefs[prefName];        return realValue;    }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/bb4371516e0961b4583fccf05f8b9f3ba9808c81/pref-manager.js/buggy/extensions/venkman/resources/content/pref-manager.js