src/eric7/WebBrowser/Session/SessionManager.py

branch
eric7
changeset 9280
94f4e2751790
parent 9221
bf71ee032bb4
child 9286
f6f950e4c8f0
equal deleted inserted replaced
9279:e252f827aaa7 9280:94f4e2751790
275 Private method to backup the most recently saved session. 275 Private method to backup the most recently saved session.
276 """ 276 """
277 if os.path.exists(self.__lastActiveSession): 277 if os.path.exists(self.__lastActiveSession):
278 278
279 if os.path.exists(self.__sessionBackup1): 279 if os.path.exists(self.__sessionBackup1):
280 os.unlink(self.__sessionBackup2) 280 if os.path.exists(self.__sessionBackup2):
281 shutil.copy(self.__sessionBackup1, self.__sessionBackup2) 281 os.remove(self.__sessionBackup2)
282 282 shutil.copy2(self.__sessionBackup1, self.__sessionBackup2)
283 os.unlink(self.__sessionBackup1) 283 os.remove(self.__sessionBackup1)
284 shutil.copy(self.__lastActiveSession, self.__sessionBackup1) 284
285 shutil.copy2(self.__lastActiveSession, self.__sessionBackup1)
285 286
286 def sessionMetaData(self, includeBackups=False): 287 def sessionMetaData(self, includeBackups=False):
287 """ 288 """
288 Public method to get the sessions meta data. 289 Public method to get the sessions meta data.
289 290

eric ide

mercurial