splithost('//host[:port]/path') --> 'host[:port]', '/path'.
(url)
| 1143 | |
| 1144 | _hostprog = None |
| 1145 | def _splithost(url): |
| 1146 | """splithost('//host[:port]/path') --> 'host[:port]', '/path'.""" |
| 1147 | global _hostprog |
| 1148 | if _hostprog is None: |
| 1149 | _hostprog = re.compile('//([^/#?]*)(.*)', re.DOTALL) |
| 1150 | |
| 1151 | match = _hostprog.match(url) |
| 1152 | if match: |
| 1153 | host_port, path = match.groups() |
| 1154 | if path and path[0] != '/': |
| 1155 | path = '/' + path |
| 1156 | return host_port, path |
| 1157 | return None, url |
| 1158 | |
| 1159 | |
| 1160 | def splituser(host): |