Fix the way a trailing / is changed to /index.html so that it

gvanrossum · gvanrossum · commit d328a9b5f41b · 1998-06-15T12:34:41.000Z
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
@@ -85,10 +85,11 @@ def savefilename(self, url):
         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):
