diff options
| -rwxr-xr-x | Tools/webchecker/webchecker.py | 9 |
1 files changed, 9 insertions, 0 deletions
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 @@ class Page: 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: |