diff -r 3257703e10c5 -r 9978016560ec eric6/Plugins/VcsPlugins/vcsSubversion/subversion.py
--- a/eric6/Plugins/VcsPlugins/vcsSubversion/subversion.py Tue Oct 13 19:02:26 2020 +0200
+++ b/eric6/Plugins/VcsPlugins/vcsSubversion/subversion.py Wed Oct 14 17:50:39 2020 +0200
@@ -2048,9 +2048,8 @@
name2 = "{0} (rev. {1})".format(name, rev2)
else:
try:
- f1 = open(name, "r", encoding="utf-8")
- output2 = f1.read()
- f1.close()
+ with open(name, "r", encoding="utf-8") as f1:
+ output2 = f1.read()
name2 = name
except IOError:
E5MessageBox.critical(
