equal
deleted
inserted
replaced
169 self.dest = dest |
169 self.dest = dest |
170 self.mapfile = mapfile |
170 self.mapfile = mapfile |
171 self.commitcache = {} |
171 self.commitcache = {} |
172 |
172 |
173 self.map = {} |
173 self.map = {} |
174 for l in file(self.mapfile): |
174 try: |
175 sv, dv = l[:-1].split() |
175 for l in file(self.mapfile): |
176 self.map[sv] = dv |
176 sv, dv = l[:-1].split() |
|
177 self.map[sv] = dv |
|
178 except IOError: |
|
179 pass |
177 |
180 |
178 def walktree(self, heads): |
181 def walktree(self, heads): |
179 visit = heads |
182 visit = heads |
180 known = {} |
183 known = {} |
181 parents = {} |
184 parents = {} |