src/eric7/WebBrowser/Session/SessionManager.py

branch
eric7
changeset 9286
f6f950e4c8f0
parent 9280
94f4e2751790
child 9413
80c06d472826
equal deleted inserted replaced
9285:d697b03e3bcc 9286:f6f950e4c8f0
321 it is empty (i.e. it is populated on demand). 321 it is empty (i.e. it is populated on demand).
322 """ 322 """
323 if self.__sessionMetaData: 323 if self.__sessionMetaData:
324 return 324 return
325 325
326 sessionFiles = pathlib.Path(self.getSessionsDirectory()).glob("*.json") 326 sessionFiles = list(pathlib.Path(self.getSessionsDirectory()).glob("*.json"))
327 327
328 for sessionFile in sessionFiles: 328 for sessionFile in sessionFiles:
329 sessionData = self.readSessionFromFile(sessionFile.resolve()) 329 sessionData = self.readSessionFromFile(sessionFile.resolve())
330 if not sessionData or not sessionData["Windows"]: 330 if not sessionData or not sessionData["Windows"]:
331 continue 331 continue

eric ide

mercurial