possible fix for #136 (The lobby "display idle players" feature does not work after playing a game)