Samuel L. Bayer:

- forced new done origins to set errors if they're in self.bad (fixes
  bug where only the first of a number of errorful references to a
  link is reported under some circumstances)
- suppressed adding duplicates to self.todo list (cleans up printout
  in wcgui details)

diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index 352933854dbfa27894c5eb88d96d5a3593fd8953..cbb9f087c6268d0682b09039210e69d724ac4e1e 100755 (executable)
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -364,10 +364,15 @@ class Checker:
     def newdonelink(self, url, origin):
         self.done[url].append(origin)
         self.note(3, "  Done link %s", url)
+        if self.bad.has_key(url):
+            source, rawlink = origin
+            triple = url, rawlink, self.bad[url]
+            self.seterror(source, triple)
 
     def newtodolink(self, url, origin):
         if self.todo.has_key(url):
-            self.todo[url].append(origin)
+            if origin not in self.todo[url]:
+                self.todo[url].append(origin)
             self.note(3, "  Seen todo link %s", url)
         else:
             self.todo[url] = [origin]