url: fix use of non-int port in https connections (issue1725)
Versions of Python before 2.6 cannot automatically convert a given
port number to an integer, so we add a conversion to coerce the given
input to an int.
--- a/mercurial/url.py Mon Jul 06 14:52:44 2009 -0500
+++ b/mercurial/url.py Wed Jul 08 18:35:13 2009 +0200
@@ -441,6 +441,7 @@
# let host port take precedence
if ':' in host and '[' not in host or ']:' in host:
host, port = host.rsplit(':', 1)
+ port = int(port)
if '[' in host:
host = host[1:-1]