src/eric7/WebBrowser/Session/SessionManager.py

branch
eric7
changeset 9280
94f4e2751790
parent 9221
bf71ee032bb4
child 9286
f6f950e4c8f0
--- a/src/eric7/WebBrowser/Session/SessionManager.py	Wed Aug 03 11:54:32 2022 +0200
+++ b/src/eric7/WebBrowser/Session/SessionManager.py	Fri Aug 05 15:07:54 2022 +0200
@@ -277,11 +277,12 @@
         if os.path.exists(self.__lastActiveSession):
 
             if os.path.exists(self.__sessionBackup1):
-                os.unlink(self.__sessionBackup2)
-                shutil.copy(self.__sessionBackup1, self.__sessionBackup2)
+                if os.path.exists(self.__sessionBackup2):
+                    os.remove(self.__sessionBackup2)
+                shutil.copy2(self.__sessionBackup1, self.__sessionBackup2)
+                os.remove(self.__sessionBackup1)
 
-            os.unlink(self.__sessionBackup1)
-            shutil.copy(self.__lastActiveSession, self.__sessionBackup1)
+            shutil.copy2(self.__lastActiveSession, self.__sessionBackup1)
 
     def sessionMetaData(self, includeBackups=False):
         """

eric ide

mercurial