[filesystems/local] use copy2 instead of copy (#840)

This keeps the file metadata (permissions, dates, ...). Fix #390
UCL-INGI · Jul 12, 2022 · 7de1fb1 · 7de1fb1
1 parent d5726df
commit 7de1fb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/inginious/common/filesystems/local.py b/inginious/common/filesystems/local.py
@@ -145,7 +145,7 @@ def _recursive_overwrite(self, src, dest):
             dirname = os.path.dirname(dest)
             if not os.path.exists(dirname):
                 os.makedirs(dirname)
-            shutil.copy(src, dest, follow_symlinks=False)
+            shutil.copy2(src, dest, follow_symlinks=False)
 
     def distribute(self, filepath, allow_folders=True):
         self._checkpath(filepath)