hgext/convert/monotone.py
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':