Obtain server port number from config, not the request (#339)