changeset 14179 | 64481eee6215 |
parent 13792 | a916e8de4313 |
child 16231 | ce292f1379ba |
--- a/hgext/convert/monotone.py Tue May 03 22:11:56 2011 +0200 +++ b/hgext/convert/monotone.py Tue May 03 21:53:13 2011 -0500 @@ -27,7 +27,9 @@ if not os.path.exists(os.path.join(path, '_MTN')): # Could be a monotone repository (SQLite db file) try: - header = file(path, 'rb').read(16) + f = file(path, 'rb') + header = f.read(16) + f.close() except: header = '' if header != 'SQLite format 3\x00':