--- a/eric6/WebBrowser/Session/SessionManager.py Tue Oct 13 19:02:26 2020 +0200 +++ b/eric6/WebBrowser/Session/SessionManager.py Wed Oct 14 17:50:39 2020 +0200 @@ -210,9 +210,8 @@ ) if sessionData["Windows"]: - sessionFile = open(sessionFileName, "w") - json.dump(sessionData, sessionFile, indent=2) - sessionFile.close() + with open(sessionFileName, "w") as sessionFile: + json.dump(sessionData, sessionFile, indent=2) @classmethod def readSessionFromFile(cls, sessionFileName): @@ -225,9 +224,8 @@ @rtype dict """ try: - sessionFile = open(sessionFileName, "r") - sessionData = json.load(sessionFile) - sessionFile.close() + with open(sessionFileName, "r") as sessionFile: + sessionData = json.load(sessionFile) if not cls.isValidSession(sessionData): sessionData = {} except (IOError, OSError):