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