symfony
diff --git a/‎src/Symfony/Component/Filesystem/Filesystem.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/Filesystem/Filesystem.php
+5-1Lines changed: 5 additions & 1 deletion b/‎src/Symfony/Component/Filesystem/Filesystem.php
Copy file name to clipboardExpand all lines: src/Symfony/Component/Filesystem/Filesystem.php
+5-1Lines changed: 5 additions & 1 deletion
@@ -60,14 +60,18 @@ public function copy($originFile, $targetFile, $override = false)
                 throw new IOException(sprintf('Failed to copy "%s" to "%s" because target file could not be opened for writing.', $originFile, $targetFile), 0, null, $originFile);
             }
 
-            stream_copy_to_stream($source, $target);
+            $bytesCopied = stream_copy_to_stream($source, $target);
             fclose($source);
             fclose($target);
             unset($source, $target);
 
             if (!is_file($targetFile)) {
                 throw new IOException(sprintf('Failed to copy "%s" to "%s".', $originFile, $targetFile), 0, null, $originFile);
             }
+
+            if (stream_is_local($originFile) && $bytesCopied !== filesize($originFile)) {
+                throw new IOException(sprintf('Failed to copy the whole content of "%s" to "%s %g bytes copied".', $originFile, $targetFile, $bytesCopied), 0, null, $originFile);
+            }
         }
     }
Original file line number	Diff line number	Diff line change
`@@ -60,14 +60,18 @@ public function copy($originFile, $targetFile, $override = false)`
`60`	`60`	`throw new IOException(sprintf('Failed to copy "%s" to "%s" because target file could not be opened for writing.', $originFile, $targetFile), 0, null, $originFile);`
`61`	`61`	`}`
`62`	`62`
`63`		`- stream_copy_to_stream($source, $target);`
	`63`	`+ $bytesCopied = stream_copy_to_stream($source, $target);`
`64`	`64`	`fclose($source);`
`65`	`65`	`fclose($target);`
`66`	`66`	`unset($source, $target);`
`67`	`67`
`68`	`68`	`if (!is_file($targetFile)) {`
`69`	`69`	`throw new IOException(sprintf('Failed to copy "%s" to "%s".', $originFile, $targetFile), 0, null, $originFile);`
`70`	`70`	`}`
	`71`	`+`
	`72`	`+ if (stream_is_local($originFile) && $bytesCopied !== filesize($originFile)) {`
	`73`	`+ throw new IOException(sprintf('Failed to copy the whole content of "%s" to "%s %g bytes copied".', $originFile, $targetFile, $bytesCopied), 0, null, $originFile);`
	`74`	`+ }`
`71`	`75`	`}`
`72`	`76`	`}`
`73`	`77`