167168169170171172173174175176177
} timer = timers.get(playerId); if (timer == null) { throw new MageException("PAUSE_TIMER: couldn't find timer for player: " + playerId); } timer.pause(); break; } } catch (MageException ex) { logger.fatal("Table event listener error ", ex); }