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