mercurial/url.py
changeset 9108 eef406165507
parent 8848 89b71acdac9a
child 9122 a9eae2f3241c
--- 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]