#013235: ezcUrlTools::getCurrentUrl() duplicates port number

The convenience method ezcUrlTools::getCurrentUrl() duplicates the port number if the port number differs from 80.

I'm developing on my local machine and the virtual host for the site listens on port 8075. The complete url is http://discovery:8075/

The result of the convenience method is "http://discovery:8075:8075/". This is caused by the usage of HTTP_HOST in the $_SERVER array. HTTP_HOST is the representation of the Host header of the HTTP protocol which includes the port number. The port number is then added anyway (!=80) without checking if there is already a port in the host variable.

Operating System: Win XP SP3
PHP Version: 5.2.5
Database and version:
Browser (and version):