# HG changeset patch
# User Henrik Stuart <hg@hstuart.dk>
# Date 1247070913 -7200
# Node ID eef406165507c7dc15247bc1a5316b480ef3c5bd
# Parent  71d26ae62fbb2b03958b150a9b908dfb24bc4012
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.

diff -r 71d26ae62fbb -r eef406165507 mercurial/url.py
--- 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]