]> source.dussan.org Git - rspamd.git/commitdiff
[Minor] Close file once it is not needed 2539/head
authorMikhail Galanin <mgalanin@mimecast.com>
Thu, 27 Sep 2018 09:24:03 +0000 (10:24 +0100)
committerMikhail Galanin <mgalanin@mimecast.com>
Thu, 27 Sep 2018 09:24:03 +0000 (10:24 +0100)
test/functional/lib/rspamd.py

index eeb5f27997080de41e29d84d469e6eb3bd63d06a..313e8393e361e62d3f05900576f2860cfecebf66 100644 (file)
@@ -116,10 +116,10 @@ def path_splitter(path):
 
 def read_log_from_position(filename, offset):
     offset = long(offset)
-    f = open(filename, 'rb')
-    f.seek(offset)
-    goo = f.read()
-    size = len(goo)
+    with open(filename, 'rb') as f:
+        f.seek(offset)
+        goo = f.read()
+        size = len(goo)
     return [goo, size+offset]
 
 def rspamc(addr, port, filename):