eric6/WebBrowser/Session/SessionManager.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7923
91e843545d9a
equal deleted inserted replaced
7835:0835ed67714b 7836:2f0d208b8137
226 try: 226 try:
227 with open(sessionFileName, "r") as sessionFile: 227 with open(sessionFileName, "r") as sessionFile:
228 sessionData = json.load(sessionFile) 228 sessionData = json.load(sessionFile)
229 if not cls.isValidSession(sessionData): 229 if not cls.isValidSession(sessionData):
230 sessionData = {} 230 sessionData = {}
231 except (IOError, OSError): 231 except OSError:
232 sessionData = {} 232 sessionData = {}
233 233
234 return sessionData 234 return sessionData
235 235
236 @classmethod 236 @classmethod

eric ide

mercurial