src/eric7/Plugins/VcsPlugins/vcsGit/git.py

branch
eric7
changeset 10403
ea3320d5e8e9
parent 10069
435cc5875135
child 10438
4cd7e5a8b3cf
diff -r 1b63ffeca110 -r ea3320d5e8e9 src/eric7/Plugins/VcsPlugins/vcsGit/git.py
--- a/src/eric7/Plugins/VcsPlugins/vcsGit/git.py	Mon Dec 11 15:11:32 2023 +0100
+++ b/src/eric7/Plugins/VcsPlugins/vcsGit/git.py	Tue Dec 12 09:35:39 2023 +0100
@@ -349,7 +349,7 @@
         status = self.vcsCheckout(vcsDataDict, projectDir)
         adminPath = os.path.join(projectDir, self.adminDirOrFile)
         if os.path.isdir(adminPath):
-            shutil.rmtree(adminPath, True)
+            shutil.rmtree(adminPath, ignore_errors=True)
         else:
             os.remove(adminPath)
         if os.path.exists(os.path.join(projectDir, Git.IgnoreFileName)):

eric ide

mercurial