Players in lobby are not always detected properly #225
Description
From time to time clients can show that a lobby has, say, 8/8 players even though in reality the lobby has only 7 players in it. I assume one or more players have left the lobby and it hasn't been properly detected.
This is quite an annoying bug and can cause problems filling a game, when clients show lobby is full even though it isn't.