Some changes (maybe not enough?) to make it work on Windows with local
file URLs.
diff --git a/Tools/webchecker/webchecker.py b/Tools/webchecker/webchecker.py
index 93078bb..3529338 100755
--- a/Tools/webchecker/webchecker.py
+++ b/Tools/webchecker/webchecker.py
@@ -606,9 +606,9 @@
def open_file(self, url):
path = urllib.url2pathname(urllib.unquote(url))
- if path[-1] != os.sep:
- url = url + '/'
if os.path.isdir(path):
+ if path[-1] != os.sep:
+ url = url + '/'
indexpath = os.path.join(path, "index.html")
if os.path.exists(indexpath):
return self.open_file(url + "index.html")
@@ -625,7 +625,7 @@
s.write('<A HREF="%s">%s</A>\n' % (q, q))
s.seek(0)
return s
- return urllib.FancyURLopener.open_file(self, path)
+ return urllib.FancyURLopener.open_file(self, url)
class MyHTMLParser(sgmllib.SGMLParser):