Moved ports and server location variables to the ports tab Rev: server/base_server/configuration.pike:1.475