Instead of printint, use self.message() or self.note().
diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py
index 7ee2535..59da51b 100755
--- a/Tools/webchecker/websucker.py
+++ b/Tools/webchecker/websucker.py
@@ -76,7 +76,7 @@
         f = open(path, "wb")
         f.write(text)
         f.close()
-        print "saved", path
+        self.message("saved %s", path)
 
     def savefilename(self, url):
         type, rest = urllib.splittype(url)