Fix suggested by Magnus Kessler: in class Page, it is possible for

self.parser to be None; in that case don't dereference it in
getnames().

diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index 5d127cb5e4b3f65124b1347472ec5809f8641bdb..e79e7f10c09726179890c1a6902d0bfd9c51b97e 100755 (executable)
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -681,7 +681,10 @@ class Page:
 
     # Method to retrieve names.
     def getnames(self):
-        return self.parser.names
+        if self.parser:
+            return self.parser.names
+        else:
+            return []
 
     def getlinkinfos(self):
         # File reading is done in __init__() routine.  Store parser in