merge with crew-stable
authorMartin Geisler <mg@lazybytes.net>
Wed, 15 Jul 2009 00:19:15 +0200
changeset 9137 6f95c756d9fa
parent 9136 31177742f54a (current diff)
parent 9122 a9eae2f3241c (diff)
child 9138 5e5a91e39642
merge with crew-stable
--- 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