(final Runnable proc)
| 2526 | |
| 2527 | // Invokes given runnable in Game thread pool - used to start game and perform actions from UI (when game-0 waits for input) |
| 2528 | public void invoke(final Runnable proc) { |
| 2529 | if (ThreadUtil.isGameThread()) { |
| 2530 | proc.run(); |
| 2531 | } else { |
| 2532 | ThreadUtil.invokeInGameThread(proc); |
| 2533 | } |
| 2534 | } |
| 2535 | |
| 2536 | public void becomeMonarch(final Player p, final String set) { |
| 2537 | final Player previous = game.getMonarch(); |
no test coverage detected