]> git.pond.sub.org Git - empserver/search
(play): Simplify counting of players.