extracttests.py: close input file

2011-11-27 11:43:13 +01:00 · 2011-11-27 11:43:13 +01:00 · 370018d313
parent 54eeb76a71
commit 370018d313
1 changed files with 3 additions and 0 deletions
--- 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('&','&amp;').replace('"', '&quot;').replace('<','&lt;').replace('>','&gt;')