# HG changeset patch # User Wagner Bruna # Date 1247602332 10800 # Node ID a9eae2f3241cf9df04ab2e3b1853c48a3291119e # Parent a85a3d398cc35b5bfd0b9b74dd2d53cf2a109a04 url: fix use of non-int port in https connections via proxy Complements eef406165507 (issue1725). 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