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)

Tools/webchecker/webchecker.py

@@ -364,9 +364,14 @@ 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):
+            if origin not in self.todo[url]:
                 self.todo[url].append(origin)
             self.note(3, "  Seen todo link %s", url)
         else: