wip #5725 @0.25

diff --git a/app/src/Tools.php b/app/src/Tools.php
index 3b8410d862e577f3e6ddf63ecbd3c76005b06164..4b0a15d62bd905e98da8108cc73fa1f21870c106 100644 (file)
--- a/app/src/Tools.php
+++ b/app/src/Tools.php
@@ -13,10 +13,23 @@ class Tools {
 
        public static function copy($a) {
                foreach ($a['files'] as $from => $to) {
-                       Files::copy($from, $to);
+                       self::_cp($from, $to);
                }
        }
 
+       public static function lazyCopy($a) {
+               foreach ($a['files'] as $from => $to) {
+                       if (file_exists($from)) {
+                               self::_cp($from, $to);
+                       }
+               }
+       }
+
+       protected static function _cp($from, $to) {
+               Files::mkdir(dirname($to));
+               Files::copyFile($from, $to);
+       }
+
        protected static function _args($args, $defaults = []) {
                return array_merge($defaults, $args);
        }