Go back to "manual" formatting of the port urls, to ensure they always include the port. Rev: server/base_server/roxen.pike:1.1019