changeset 1655 | 7bfd4724932a |
parent 1389 | 9b3ef6f3cef5 |
child 1656 | 14d73fff4c45 |
--- a/contrib/convert-repo +++ b/contrib/convert-repo @@ -171,9 +171,12 @@ class convert: self.commitcache = {} self.map = {} - for l in file(self.mapfile): - sv, dv = l[:-1].split() - self.map[sv] = dv + try: + for l in file(self.mapfile): + sv, dv = l[:-1].split() + self.map[sv] = dv + except IOError: + pass def walktree(self, heads): visit = heads