public void Update(int port, Dictionary<String, UserView> users, Ticket ticket)
{
Server.UpdateTiming();
Server.UpdateReplication(port);
Server.UpdateUserData(users, ticket);
}
public static void UpdateUserData(Dictionary<String, UserView> users, Ticket ticket)
{
Ticket = ticket;
RegisteredUsers = users;
Message(String.Format("The current ticket number is {0}", Server.Ticket.Number));
}