The server URL wizard now knows about the default port. Rev: server/base_server/mainconfig.pike:1.102