diff options
-rwxr-xr-x | runbuilder.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runbuilder.py b/runbuilder.py index 127ff21..7b04d2a 100755 --- a/runbuilder.py +++ b/runbuilder.py @@ -35,6 +35,7 @@ class Builder(): fname = os.path.join(dirname, Builder.builder_filename) try: ifile = open(fname, 'r') + ifile.close() return True except IOError: return False |