if (file_exists($iniCache.'.reader') ) {
- if ($replace[$iniCache] != md5_file($iniCacheTmp.'.reader')) {
+ if (!isset($replace[$iniCache] ) || $replace[$iniCache] != md5_file($iniCacheTmp.'.reader')) {
unlink($iniCache.'.reader');
rename($iniCacheTmp.'.reader', $iniCache.'.reader');
} else {
// readers..??? not needed??? (historical)
if (file_exists($iniCacheTmp.'.reader') && filesize($iniCacheTmp.'.reader')) {
-
if (file_exists($iniCache.'.reader') ) {
- if ($replace[$iniCache] != md5_file($iniCacheTmp.'.reader')) {
+ if (!isset($replace[$iniCache] ) || $replace[$iniCache] != md5_file($iniCacheTmp.'.reader')) {
unlink($iniCache.'.reader');
rename($iniCacheTmp.'.reader', $iniCache.'.reader');
} else {
} else {
rename($iniCacheTmp.'.reader', $iniCache.'.reader');
}
-
}