#11 Game not stopped when the last player leaves

[Emmanuel Bourg]

The game isn't stopped if the last player involved in a
game leaves and the channel is not empty. For example,
player A starts a game, then B joins the channels, and
A leaves the channel. The game is not stopped.