Stop the game if all players disconnect, attempt to fix duplicate notifications

No clue if this will stop duplicate notifications, but it (probably)
can’t hurt.