merge with crew-stable
authorMartin Geisler <mg@lazybytes.net>
Fri, 10 Jul 2009 12:49:29 +0200
changeset 9109 00909238d887
parent 9107 309c1d762e8e (current diff)
parent 9108 eef406165507 (diff)
child 9110 561ff8d9e4f0
merge with crew-stable
--- 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]