1980 if url.startswith("\\\\"): |
1980 if url.startswith("\\\\"): |
1981 url = url[2:] |
1981 url = url[2:] |
1982 url = url.replace('\\', '/') |
1982 url = 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 [":", "|"]: |
|
1986 url = "/{0}".format(url) |
1985 return "{0}://{1}".format(protocol, url) |
1987 return "{0}://{1}".format(protocol, url) |
1986 |
1988 |
1987 ############################################################################ |
1989 ############################################################################ |
1988 ## Methods to get the helper objects are below. |
1990 ## Methods to get the helper objects are below. |
1989 ############################################################################ |
1991 ############################################################################ |