equal
deleted
inserted
replaced
28 # Could be a monotone repository (SQLite db file) |
28 # Could be a monotone repository (SQLite db file) |
29 try: |
29 try: |
30 f = file(path, 'rb') |
30 f = file(path, 'rb') |
31 header = f.read(16) |
31 header = f.read(16) |
32 f.close() |
32 f.close() |
33 except: |
33 except IOError: |
34 header = '' |
34 header = '' |
35 if header != 'SQLite format 3\x00': |
35 if header != 'SQLite format 3\x00': |
36 raise norepo |
36 raise norepo |
37 |
37 |
38 # regular expressions for parsing monotone output |
38 # regular expressions for parsing monotone output |