wip #5637 @0:20

diff --git a/inc/ws/Util/class.ws.util.php b/inc/ws/Util/class.ws.util.php
index d154f1e50b0743673de9463645ebb01976c4d316..c6064afd538ae18e84f09f1430221b5500f74dba 100644 (file)
--- a/inc/ws/Util/class.ws.util.php
+++ b/inc/ws/Util/class.ws.util.php
@@ -505,8 +505,8 @@ class wsUtil
 \r
     public static function copy($source, $dest, $sourceTouch = true)\r
     {\r
-        if (file_exists($source)) {\r
-            copy($source, $dest);\r
+        if (file_exists($source) && (!file_exists($dest) || filesize($source) !== filesize($dest) || filemtime($source) > filemtime($dest))) {\r
+            `cp $source $dest`;\r
             if ($sourceTouch) {\r
                 touch($dest, filemtime($source));\r
             }\r