url: fix use of non-int port in https connections (
issue1725)
Versions of Python before 2.6 cannot automatically convert a given
port number to an integer, so we add a conversion to coerce the given
input to an int.
% Without -v
access log created - .hg/hgrc respected
% errors
% With -v
listening at http://localhost/ (bound to 127.0.0.1)
% errors
% With --prefix foo
listening at http://localhost/foo/ (bound to 127.0.0.1)
% errors
% With --prefix /foo
listening at http://localhost/foo/ (bound to 127.0.0.1)
% errors
% With --prefix foo/
listening at http://localhost/foo/ (bound to 127.0.0.1)
% errors
% With --prefix /foo/
listening at http://localhost/foo/ (bound to 127.0.0.1)
% errors