2199 if url.startswith("\\\\"): |
2199 if url.startswith("\\\\"): |
2200 url = url[2:] |
2200 url = url[2:] |
2201 url = url.replace('\\', '/') |
2201 url = url.replace('\\', '/') |
2202 if url.endswith('/'): |
2202 if url.endswith('/'): |
2203 url = url[:-1] |
2203 url = url[:-1] |
|
2204 if not url.startswith("/") and url[1] in [":", "|"]: |
|
2205 url = "/{0}".format(url) |
2204 return "{0}://{1}".format(protocol, url) |
2206 return "{0}://{1}".format(protocol, url) |
2205 |
2207 |
2206 ############################################################################ |
2208 ############################################################################ |
2207 ## Methods to get the helper objects are below. |
2209 ## Methods to get the helper objects are below. |
2208 ############################################################################ |
2210 ############################################################################ |