diff --git a/python/generator.py b/python/generator.py index 994bc115595e460d5c70ff37d387e0238405a396..8236bd2c98238e5ec4a6e3491d7d8bbaac6123a3 100755 --- a/python/generator.py +++ b/python/generator.py @@ -806,6 +806,7 @@ def buildStubs(module): try: f = open(os.path.join(srcPref,api_xml)) data = f.read() + f.close() (parser, target) = getparser() parser.feed(data) parser.close() @@ -813,6 +814,7 @@ def buildStubs(module): try: f = open(os.path.join(srcPref,"..","docs",api_xml)) data = f.read() + f.close() (parser, target) = getparser() parser.feed(data) parser.close() @@ -830,6 +832,7 @@ def buildStubs(module): try: f = open(os.path.join(srcPref, override_api_xml)) data = f.read() + f.close() (parser, target) = getparser() parser.feed(data) parser.close()