Code: Select all
function deleteFileWithRetry($file){
$ret = 0;
$retry = 5; // we retry to delete a file 5 times
while ($ret == 0 && $retry){
$ret = unlink($file);
if ($ret == 0){
sleep(5); // failed to delete -> wait 5 seconds
}
$retry--;
}
if($ret == 1){
echo "The file ". $file . " deleted successfully";
}
else {
echo "Error occurred while deleting file " . $file;
}
return ret;
}