static int Main (string[] args)
{
//if (args == null || args.Length == 0)
//{
// Console.WriteLine("No arguments specified, assuming default values.");
// Console.WriteLine("In the future you can specify your own ports like so:\n");
// Console.WriteLine(" -name \"Your Server\" <-- Name your server");
// Console.WriteLine(" -tcp [port] <-- TCP port for clients to connect to");
// Console.WriteLine(" -udp [port] <-- UDP port used for communication");
// Console.WriteLine(" -udpLobby [address] [port] <-- Start or connect to a UDP lobby");
// Console.WriteLine(" -tcpLobby [address] [port] <-- Start or connect to a TCP lobby");
// Console.WriteLine(" -ip [ip] <-- Choose a specific network interface");
// Console.WriteLine("\nFor example:");
// Console.WriteLine(" TNServer -name \"My Server\" -tcp 5127 -udp 5128 -udpLobby 5129");
// //args = new string[] { "TNet Server", "-tcp", "5127", "-udp", "5128", "-tcpLobby", "5129" };
// args = new string[] { "Lobby Server", "-tcpLobby", "5129" };
//}
args
= new string[] { "Lobby Server",
"-tcpLobby",
"5129" };