mirror of
git://develop.git.wordpress.org/
synced 2025-01-17 12:58:25 +01:00
Upgrade: When deleting old files, if deletion fails attempt to empty the file instead.
Props joemcgill, dd32. Merges [42434] to the 4.7 branch. Fixes #42963 for 4.7. git-svn-id: https://develop.svn.wordpress.org/branches/4.7@42467 602fd350-edb4-49c9-b593-d223f7449a82
This commit is contained in:
parent
e80bdf5116
commit
5018b6595c
@ -1084,7 +1084,11 @@ function update_core($from, $to) {
|
||||
$old_file = $to . $old_file;
|
||||
if ( !$wp_filesystem->exists($old_file) )
|
||||
continue;
|
||||
$wp_filesystem->delete($old_file, true);
|
||||
|
||||
// If the file isn't deleted, try writing an empty string to the file instead.
|
||||
if ( ! $wp_filesystem->delete( $old_file, true ) && $wp_filesystem->is_file( $old_file ) ) {
|
||||
$wp_filesystem->put_contents( $old_file, '' );
|
||||
}
|
||||
}
|
||||
|
||||
// Remove any Genericons example.html's from the filesystem
|
||||
|
Loading…
x
Reference in New Issue
Block a user