splithost('//host[:port]/path') --> 'host[:port]', '/path'.
(url)
| 1263 | |
| 1264 | _hostprog = None |
| 1265 | def _splithost(url): |
| 1266 | """splithost('//host[:port]/path') --> 'host[:port]', '/path'.""" |
| 1267 | global _hostprog |
| 1268 | if _hostprog is None: |
| 1269 | _hostprog = re.compile('//([^/#?]*)(.*)', re.DOTALL) |
| 1270 | |
| 1271 | match = _hostprog.match(url) |
| 1272 | if match: |
| 1273 | host_port, path = match.groups() |
| 1274 | if path and path[0] != '/': |
| 1275 | path = '/' + path |
| 1276 | return host_port, path |
| 1277 | return None, url |
| 1278 | |
| 1279 | |
| 1280 | def splituser(host): |