static private void SetCurrentPlayer(Message.Player.Player newPlayer) { currentPlayer = newPlayer; ProblemKeeper.DrainProblems(); }
static public void ReplaceQueue(Message.Problem.ProblemGetResponse reply) { ProblemKeeper.ReplaceSeed(reply); ProblemKeeper.DrainProblems(); ProblemKeeper.GetProblemsFromSeed(); }