eric6/eric6_doc.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
--- a/eric6/eric6_doc.py	Tue Oct 13 19:02:26 2020 +0200
+++ b/eric6/eric6_doc.py	Wed Oct 14 17:50:39 2020 +0200
@@ -281,9 +281,8 @@
 
     if stylesheetFile:
         try:
-            sf = open(stylesheetFile, "r", encoding="utf-8")
-            stylesheet = sf.read()
-            sf.close()
+            with open(stylesheetFile, "r", encoding="utf-8") as sf:
+                stylesheet = sf.read()
         except IOError:
             sys.stderr.write(
                 "The CSS stylesheet '{0}' does not exist\n".format(
@@ -398,9 +397,9 @@
                 
                 # generate output
                 try:
-                    out = open(f, "w", encoding="utf-8", newline=newline)
-                    out.write(doc)
-                    out.close()
+                    with open(f, "w", encoding="utf-8",
+                              newline=newline) as out:
+                        out.write(doc)
                 except IOError as v:
                     sys.stderr.write("{0} error: {1}\n".format(file, v[1]))
                 else:

eric ide

mercurial