Added note() message to Page class -- this was used but didn't exist.
(The alternative would be to call self.checker.note() but since
self.checker might be None that's not quite right.
diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index 13ea0b6..93078bb 100755
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -546,6 +546,15 @@
self.maxpage = maxpage
self.checker = checker
+ def note(self, level, msg, *args):
+ if self.checker:
+ apply(self.checker.note, (level, msg) + args)
+ else:
+ if self.verbose >= level:
+ if args:
+ msg = msg%args
+ print msg
+
def getlinkinfos(self):
size = len(self.text)
if size > self.maxpage: