eric6/WebBrowser/Session/SessionManager.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
--- 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):

eric ide

mercurial