context:     function pm_observe (prefService, topic, prefName)    {        var r = prefManager.prefRecords[prefName];        if (!r)            return;                var oldValue = (r.realValue != null) ? r.realValue : r.defaultValue;        r.realValue = prefManager.getPref(prefName, PREF_RELOAD);        prefManager.onPrefChanged(prefName, r.realValue, oldValue);    };
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/f5d25c66f7584289878d8059c950d4b8786bb948/pref-manager.js/buggy/extensions/irc/js/lib/pref-manager.js