Added sleep() workaround for windows php rename bug

This commit is contained in:
Christian Morgan 2013-08-15 14:21:20 +01:00 committed by Fabien Potencier
parent 282b05cbc1
commit dbd08551f8

View File

@ -83,6 +83,9 @@ EOF
$this->warmup($warmupDir, $realCacheDir, !$input->getOption('no-optional-warmers')); $this->warmup($warmupDir, $realCacheDir, !$input->getOption('no-optional-warmers'));
$filesystem->rename($realCacheDir, $oldCacheDir); $filesystem->rename($realCacheDir, $oldCacheDir);
if (defined('PHP_WINDOWS_VERSION_BUILD')) {
sleep(1); // workaround for windows php rename bug
}
$filesystem->rename($warmupDir, $realCacheDir); $filesystem->rename($warmupDir, $realCacheDir);
} }