Fix the way a trailing / is changed to /index.html so that it
doesn't depend on the value of os.sep. (I.e. ported to Windows :-)
diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py
index 852df07..7ee2535 100755
--- a/Tools/webchecker/websucker.py
+++ b/Tools/webchecker/websucker.py
@@ -85,10 +85,11 @@
user, host = urllib.splituser(host)
host, port = urllib.splitnport(host)
host = string.lower(host)
- path = os.path.join(host, path)
- if path[-1] == "/": path = path + "index.html"
+ if not path or path[-1] == "/":
+ path = path + "index.html"
if os.sep != "/":
path = string.join(string.split(path, "/"), os.sep)
+ path = os.path.join(host, path)
return path
def makedirs(dir):