Also try a php copy-and-remove on unix if mv failed, refs #1765
parent
6a1262e675
commit
3ffad59719
|
@ -169,8 +169,6 @@ class Filesystem
|
|||
|
||||
return;
|
||||
}
|
||||
|
||||
return $this->copyThenRemove($source, $target);
|
||||
} else {
|
||||
// We do not use PHP's "rename" function here since it does not support
|
||||
// the case where $source, and $target are located on different partitions.
|
||||
|
@ -185,7 +183,7 @@ class Filesystem
|
|||
}
|
||||
}
|
||||
|
||||
throw new \RuntimeException(sprintf('Could not rename "%s" to "%s".', $source, $target));
|
||||
return $this->copyThenRemove($source, $target);
|
||||
}
|
||||
|
||||
/**
|
||||
|
|
Loading…
Reference in New Issue