eric6/WebBrowser/Network/ProtocolHandlerManager.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
--- a/eric6/WebBrowser/Network/ProtocolHandlerManager.py	Tue Oct 13 19:02:26 2020 +0200
+++ b/eric6/WebBrowser/Network/ProtocolHandlerManager.py	Wed Oct 14 17:50:39 2020 +0200
@@ -98,9 +98,9 @@
         Private method to load the registered protocol handlers.
         """
         try:
-            protocolHandlersFile = open(self.__protocolHandlersFileName(), "r")
-            protocolHandlersData = json.load(protocolHandlersFile)
-            protocolHandlersFile.close()
+            with open(self.__protocolHandlersFileName(),
+                      "r") as protocolHandlersFile:
+                protocolHandlersData = json.load(protocolHandlersFile)
             
             if protocolHandlersData:
                 self.__protocolHandlers = {}
@@ -119,9 +119,9 @@
         protocolHandlers = {scheme: url.toString()
                             for scheme, url in self.__protocolHandlers.items()}
         
-        protocolHandlersFile = open(self.__protocolHandlersFileName(), "w")
-        json.dump(protocolHandlers, protocolHandlersFile, indent=2)
-        protocolHandlersFile.close()
+        with open(self.__protocolHandlersFileName(),
+                  "w") as protocolHandlersFile:
+            json.dump(protocolHandlers, protocolHandlersFile, indent=2)
     
     def __registerHandler(self, scheme, url):
         """

eric ide

mercurial