diff -r 3257703e10c5 -r 9978016560ec eric6/WebBrowser/Network/ProtocolHandlerManager.py
--- 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):
"""
