# HG changeset patch
# User Martin Geisler <mg@lazybytes.net>
# Date 1247222969 -7200
# Node ID 00909238d887eaf0165d11d43f7045a75a4095c0
# Parent  309c1d762e8e8af91c21da6915cb2f9fdedd2d74# Parent  eef406165507c7dc15247bc1a5316b480ef3c5bd
merge with crew-stable

diff -r 309c1d762e8e -r 00909238d887 mercurial/url.py
--- a/mercurial/url.py	Fri Jul 10 01:23:07 2009 +0200
+++ b/mercurial/url.py	Fri Jul 10 12:49:29 2009 +0200
@@ -441,6 +441,7 @@
             # let host port take precedence
             if ':' in host and '[' not in host or ']:' in host:
                 host, port = host.rsplit(':', 1)
+                port = int(port)
                 if '[' in host:
                     host = host[1:-1]