diff -r a85a3d398cc3 -r a9eae2f3241c mercurial/url.py --- a/mercurial/url.py Sun Jul 12 22:33:00 2009 -0400 +++ b/mercurial/url.py Tue Jul 14 17:12:12 2009 -0300 @@ -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