equal
deleted
inserted
replaced
190 return c |
190 return c |
191 |
191 |
192 def lookup(self, id): |
192 def lookup(self, id): |
193 try: |
193 try: |
194 rev = int(id) |
194 rev = int(id) |
|
195 if str(rev) != id: raise "mismatch" |
195 return self.node(rev) |
196 return self.node(rev) |
196 except ValueError: |
197 except: |
197 c = [] |
198 c = [] |
198 for n in self.nodemap: |
199 for n in self.nodemap: |
199 if id in hex(n): |
200 if id in hex(n): |
200 c.append(n) |
201 c.append(n) |
201 if len(c) > 1: raise KeyError("Ambiguous identifier") |
202 if len(c) > 1: raise KeyError("Ambiguous identifier") |