changeset 9137:6f95c756d9fa

merge with crew-stable
author Martin Geisler <mg@lazybytes.net>
date Wed, 15 Jul 2009 00:19:15 +0200
parents 31177742f54a (current diff) a9eae2f3241c (diff)
children 5e5a91e39642
files
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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