Henrik Stuart <hg@hstuart.dk> [Wed, 08 Jul 2009 18:35:13 +0200] rev 9108
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.