From e41888954fef2b1ac90ab6565b17011337574ae4 Mon Sep 17 00:00:00 2001 From: "vincent@cubedesigners.com" Date: Fri, 9 Dec 2022 11:34:13 +0000 Subject: [PATCH] wip #5637 @0:20 --- inc/ws/Util/class.ws.util.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/inc/ws/Util/class.ws.util.php b/inc/ws/Util/class.ws.util.php index d154f1e50..c6064afd5 100644 --- a/inc/ws/Util/class.ws.util.php +++ b/inc/ws/Util/class.ws.util.php @@ -505,8 +505,8 @@ class wsUtil public static function copy($source, $dest, $sourceTouch = true) { - if (file_exists($source)) { - copy($source, $dest); + if (file_exists($source) && (!file_exists($dest) || filesize($source) !== filesize($dest) || filemtime($source) > filemtime($dest))) { + `cp $source $dest`; if ($sourceTouch) { touch($dest, filemtime($source)); } -- 2.39.5