Merge pull request #588 from Nikokrock/remove_spurious_sync_tree_rm

Don't remove file if it does not exist in sync_tree

Author: Nikokrock

src/e3/fs.py

@@ -792,7 +792,12 @@ def safe_copy(src: FileInfo, dst: FileInfo) -> None:
 
             try:
                 if dst.basename != src.basename:
-                    rm(dst.path, glob=False)
+                    if dst.stat is not None:
+                        # Case in which the destination file exists but does
+                        # not have the same casing. In that case we delete the
+                        # target file and redo a copy. This occurs for example
+                        # on Windos with NTFS.
+                        rm(dst.path, glob=False)
                     dst = FileInfo(
                         os.path.join(os.path.dirname(dst.path), src.basename),
                         None,
@@ -803,7 +808,8 @@ def safe_copy(src: FileInfo, dst: FileInfo) -> None:
                     with open(dst.path, "wb") as fdst:
                         shutil.copyfileobj(fsrc, fdst)
             except OSError:
-                rm(dst.path, glob=False)
+                if dst.stat is not None:
+                    rm(dst.path, glob=False)
                 with open(src.path, "rb") as fsrc:
                     with open(dst.path, "wb") as fdst:
                         shutil.copyfileobj(fsrc, fdst)