1977 @return properly normalized url for subversion (string) |
1977 @return properly normalized url for subversion (string) |
1978 """ |
1978 """ |
1979 protocol, url = url.split("://") |
1979 protocol, url = url.split("://") |
1980 if url.startswith("\\\\"): |
1980 if url.startswith("\\\\"): |
1981 url = url[2:] |
1981 url = url[2:] |
1982 url = url.replace('\\', '/') |
1982 url = os.path.normcase(url).replace('\\', '/') |
1983 if url.endswith('/'): |
1983 if url.endswith('/'): |
1984 url = url[:-1] |
1984 url = url[:-1] |
1985 if not url.startswith("/") and url[1] in [":", "|"]: |
1985 if not url.startswith("/") and url[1] in [":", "|"]: |
1986 url = "/{0}".format(url) |
1986 url = "/{0}".format(url) |
1987 return "{0}://{1}".format(protocol, url) |
1987 return "{0}://{1}".format(protocol, url) |