Ça trolle… / troll.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9656502) | patch
Hotfix: (from @pb4) a dead player isn't granted an early termination
authorJBM <jbm@codingame.com>
Mon, 8 Jun 2020 10:05:19 +0000 (12:05 +0200)
committerJBM <jbm@codingame.com>
Mon, 8 Jun 2020 10:05:19 +0000 (12:05 +0200)
commit1283a2efac37c95016224dd832ebac81ce8a99d7
tree3aed08931634e7210aa7e0659f22a20ad21512b6tree | snapshot
parent9656502aaa68fb88bfc0664b0d60e8ed25a9acb0commit | diff
Hotfix: (from @pb4) a dead player isn't granted an early termination

This is an unfortunate consequence of the migration to multiround:
I can't count on gameManager.getActivePlayers() anymore since I
don't deactivate players simply for losing a round.

I'm getting closer and closer to wrapping GameManager.
src/main/java/com/codingame/game/Referee.java diff | blob | history
Throw rocks at things