equal
deleted
inserted
replaced
55 """record a "warning" level issue""" |
55 """record a "warning" level issue""" |
56 self.ui.warn(msg + "\n") |
56 self.ui.warn(msg + "\n") |
57 self.warnings += 1 |
57 self.warnings += 1 |
58 |
58 |
59 def err(self, linkrev, msg, filename=None): |
59 def err(self, linkrev, msg, filename=None): |
|
60 """record a "error" level issue""" |
60 if linkrev is not None: |
61 if linkrev is not None: |
61 self.badrevs.add(linkrev) |
62 self.badrevs.add(linkrev) |
62 linkrev = "%d" % linkrev |
63 linkrev = "%d" % linkrev |
63 else: |
64 else: |
64 linkrev = '?' |
65 linkrev = '?' |