--- a/mercurial/url.py Mon Jul 06 14:52:44 2009 -0500
+++ b/mercurial/url.py Wed Jul 08 18:35:13 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]