From: JBM <jbm@codingame.com>
Date: Mon, 8 Jun 2020 10:05:19 +0000 (+0200)
Subject: Hotfix: (from @pb4) a dead player isn't granted an early termination
X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/1283a2efac37c95016224dd832ebac81ce8a99d7?ds=sidebyside;hp=1283a2efac37c95016224dd832ebac81ce8a99d7

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.
---