# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1247609955 -7200
# Node ID 6f95c756d9fa04862631a555db7cf664825651ad
# Parent  31177742f54a1b6ad142277e8471a105b2b130ee# Parent  a9eae2f3241cf9df04ab2e3b1853c48a3291119e
merge with crew-stable

diff -r 31177742f54a -r 6f95c756d9fa mercurial/url.py
--- a/mercurial/url.py	Mon Jul 13 09:50:26 2009 +0900
+++ b/mercurial/url.py	Wed Jul 15 00:19:15 2009 +0200
@@ -388,6 +388,7 @@
             if urlparts[0] == 'https': # only use CONNECT for HTTPS
                 if ':' in urlparts[1]:
                     realhost, realport = urlparts[1].split(':')
+                    realport = int(realport)
                 else:
                     realhost = urlparts[1]
                     realport = 443