// sets the port number // this cannot be changed while a server is running public static void SetPort(int newPort) { server.SetPort(newPort); }