eric6/WebBrowser/Bookmarks/BookmarksImporters/OperaImporter.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
--- a/eric6/WebBrowser/Bookmarks/BookmarksImporters/OperaImporter.py	Tue Oct 13 19:02:26 2020 +0200
+++ b/eric6/WebBrowser/Bookmarks/BookmarksImporters/OperaImporter.py	Wed Oct 14 17:50:39 2020 +0200
@@ -98,9 +98,8 @@
         @return imported bookmarks (BookmarkNode)
         """
         try:
-            f = open(self.__fileName, "r", encoding="utf-8")
-            contents = f.read()
-            f.close()
+            with open(self.__fileName, "r", encoding="utf-8") as f:
+                contents = f.read()
         except IOError as err:
             self._error = True
             self._errorString = self.tr(

eric ide

mercurial