diff options
| -rwxr-xr-x | Tools/webchecker/websucker.py | 5 |
1 files changed, 3 insertions, 2 deletions
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 @@ class Sucker(webchecker.Checker): 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): |