author | Martin 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 |
--- 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