changeset 4824 | ddbd525a04d0 |
parent 4661 | 59492734db06 |
child 4845 | 49105d3b5a9a |
--- a/players.c Thu Oct 12 11:30:16 2006 +0000 +++ b/players.c Thu Oct 12 11:42:57 2006 +0000 @@ -192,18 +192,6 @@ } } -byte ActivePlayerCount(void) -{ - const Player *p; - byte count = 0; - - FOR_ALL_PLAYERS(p) { - if (p->is_active) count++; - } - - return count; -} - void InvalidatePlayerWindows(const Player *p) { PlayerID pid = p->index;