diff --git a/Tools/webchecker/websucker.py b/Tools/webchecker/websucker.py index b416891455b..5f726b36ce8 100755 --- a/Tools/webchecker/websucker.py +++ b/Tools/webchecker/websucker.py @@ -95,9 +95,11 @@ def savefilename(self, url): host, port = urllib.splitnport(host) host = string.lower(host) if not path or path[-1] == "/": - path = path + "index.html" + path = path + "index.html" if os.sep != "/": path = string.join(string.split(path, "/"), os.sep) + if os.name == "mac": + path = os.sep + path path = os.path.join(host, path) return path