- if (getConfig('index_delay') == null) $_CONFIG['index_delay'] = 0;
- if (getConfig('index_cookie') == null) $_CONFIG['index_cookie'] = 0;
+ if (!isConfigEntrySet('index_delay')) setConfigEntry('index_delay' , 0);
+ if (!isConfigEntrySet('index_cookie')) setConfigEntry('index_cookie', 0);