]> _ Git - cubeextranet.git/commitdiff
wip #5637 @0:20
authorvincent@cubedesigners.com <vincent@cubedesigners.com@f5622870-0f3c-0410-866d-9cb505b7a8ef>
Fri, 9 Dec 2022 11:34:13 +0000 (11:34 +0000)
committervincent@cubedesigners.com <vincent@cubedesigners.com@f5622870-0f3c-0410-866d-9cb505b7a8ef>
Fri, 9 Dec 2022 11:34:13 +0000 (11:34 +0000)
inc/ws/Util/class.ws.util.php

index d154f1e50b0743673de9463645ebb01976c4d316..c6064afd538ae18e84f09f1430221b5500f74dba 100644 (file)
@@ -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