url: fix use of non-int port in https connections via proxy
authorWagner Bruna <wbruna@softwareexpress.com.br>
Tue, 14 Jul 2009 17:12:12 -0300
changeset 9122 a9eae2f3241c
parent 9121 a85a3d398cc3
child 9123 360f61c2919f
child 9137 6f95c756d9fa
url: fix use of non-int port in https connections via proxy Complements eef406165507 (issue1725).
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