From 370018d3134d40aa89e0159be2b623416db8e8fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sun, 27 Nov 2011 11:43:13 +0100 Subject: [PATCH] extracttests.py: close input file --- tools/extracttests.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/extracttests.py b/tools/extracttests.py index 2f0e70521..ee93bb9c8 100755 --- a/tools/extracttests.py +++ b/tools/extracttests.py @@ -59,6 +59,9 @@ class Extract: self.nodes.append(node) code = '' + # close test file + fin.close() + def strtoxml(s): """Convert string to xml/html format""" return s.replace('&','&').replace('"', '"').replace('<','<').replace('>','>')