Be more discerning on socket disconnect

We only need to trigger lobby.exit if the disconnecting user was
actually in the lobby.  This also leaves a place for handling game
disconnections.