diff options
| author | Guido van Rossum <guido@python.org> | 1998-06-15 12:34:41 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1998-06-15 12:34:41 (GMT) |
| commit | d328a9b5f41b38d6127d697b0f9fb5f85e52adfa (patch) | |
| tree | b24a02b85949331af3ccc5466aba2ca727473e16 /Tools | |
| parent | 6eb9d32c436af46527ed5874af4f3ce4fe5a6ccb (diff) | |
| download | cpython-d328a9b5f41b38d6127d697b0f9fb5f85e52adfa.zip cpython-d328a9b5f41b38d6127d697b0f9fb5f85e52adfa.tar.gz cpython-d328a9b5f41b38d6127d697b0f9fb5f85e52adfa.tar.bz2 | |
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 :-)
Diffstat (limited to 'Tools')
| -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): |