+
+
+ if (file_exists($iniCache.'.reader') ) {
+ if ($replace[$iniCache] != md5_file($iniCacheTmp.'.reader')) {
+ unlink($iniCache.'.reader');
+ rename($iniCacheTmp.'.reader', $iniCache.'.reader');
+ } else {
+ // do not need to touch..
+ unlink($iniCacheTmp.'.reader');
+ }
+ } else {
+ rename($iniCacheTmp.'.reader', $iniCache.'.reader');