changeset 9108:eef406165507

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.
author Henrik Stuart <hg@hstuart.dk>
date Wed, 08 Jul 2009 18:35:13 +0200
parents 71d26ae62fbb
children 00909238d887 f439d82f018c
files mercurial/url.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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]