eric6/Network/IRC/IrcNetworkWidget.py

changeset 7785
9978016560ec
parent 7780
41420f82c0ac
child 7836
2f0d208b8137
--- a/eric6/Network/IRC/IrcNetworkWidget.py	Tue Oct 13 19:02:26 2020 +0200
+++ b/eric6/Network/IRC/IrcNetworkWidget.py	Wed Oct 14 17:50:39 2020 +0200
@@ -452,9 +452,8 @@
                         txt = self.messages.toHtml()
                     else:
                         txt = self.messages.toPlainText()
-                    f = open(fname, "w", encoding="utf-8")
-                    f.write(txt)
-                    f.close()
+                    with open(fname, "w", encoding="utf-8") as f:
+                        f.write(txt)
                 except IOError as err:
                     E5MessageBox.critical(
                         self,

eric ide

mercurial