When a port in a server is changed, you will get the opportunity to modify the server URL. This should make the cause of many errors disappear. Rev: server/base_server/mainconfig.pike:1.50