[Filesystem] added workaround in Filesystem::rename for PHP bug

VolCh · fabpot · commit 3ccbc479da58 · 2017-06-14T12:55:43.000-07:00
diff --git a/src/Symfony/Component/Filesystem/Filesystem.php b/src/Symfony/Component/Filesystem/Filesystem.php
@@ -276,6 +276,13 @@ public function rename($origin, $target, $overwrite = false)
         }
 
         if (true !== @rename($origin, $target)) {
+            if (is_dir($origin)) {
+                // See https://bugs.php.net/bug.php?id=54097 & http://php.net/manual/en/function.rename.php#113943
+                $this->mirror($origin, $target, null, array('override' => $overwrite, 'delete' => $overwrite));
+                $this->remove($origin);
+
+                return;
+            }
             throw new IOException(sprintf('Cannot rename "%s" to "%s".', $origin, $target), 0, null, $target);
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -276,6 +276,13 @@ public function rename($origin, $target, $overwrite = false)`
`276`	`276`	`}`
`277`	`277`
`278`	`278`	`if (true !== @rename($origin, $target)) {`
	`279`	`+ if (is_dir($origin)) {`
	`280`	`+ // See https://bugs.php.net/bug.php?id=54097 & http://php.net/manual/en/function.rename.php#113943`
	`281`	`+ $this->mirror($origin, $target, null, array('override' => $overwrite, 'delete' => $overwrite));`
	`282`	`+ $this->remove($origin);`
	`283`	`+`
	`284`	`+ return;`
	`285`	`+ }`
`279`	`286`	`throw new IOException(sprintf('Cannot rename "%s" to "%s".', $origin, $target), 0, null, $target);`
`280`	`287`	`}`
`281`	`288`	`}`