279280281282283284285286287288289
{ logger_.severe(gameId + ": Error computing payoff: " + e.getClass().getName() + " - " + e.getMessage()); } // tell the game it's time to die. gamer.stopIt(); games_.remove(gameId); } /** * Get the Gamer associated with <tt>gameId</tt>.