Added splitnport(), which is like splitport() but returns a numeric port,
is forgiving about semi-numeric port numbers, and allows you to specify
a default port (default is -1, None returned for nonnumeric port).
diff --git a/Lib/urllib.py b/Lib/urllib.py
index 6caf2b2..45f3e99 100644
--- a/Lib/urllib.py
+++ b/Lib/urllib.py
@@ -596,6 +596,23 @@
if _portprog.match(host) >= 0: return _portprog.group(1, 2)
return host, None
+# Split host and port, returning numeric port.
+# Return given default port if no ':' found; defaults to -1.
+# Return numerical port if digits are found after ':'.
+# Return None if ':' but no digits.
+_nportprog = regex.compile('^\(.*\):\([^0-9]*\([0-9]*\).*\)$')
+def splitnport(host, defport=-1):
+ if _nportprog.match(host) >= 0:
+ host, port = _nportprog.group(1, 3)
+ nport = None
+ if port:
+ try:
+ nport = string.atoi(port)
+ except string.atoi_error:
+ pass
+ return host, nport
+ return host, defport
+
_queryprog = regex.compile('^\(.*\)\?\([^?]*\)$')
def splitquery(url):
if _queryprog.match(url) >= 0: return _queryprog.group(1, 2)