diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py index 13ea0b637c3..93078bb94bc 100755 --- a/Tools/webchecker/webchecker.py +++ b/Tools/webchecker/webchecker.py @@ -546,6 +546,15 @@ def __init__(self, text, url, verbose=VERBOSE, maxpage=MAXPAGE, checker=None): 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: