diff --git a/gameloop.py b/gameloop.py index cdb4d42..3063831 100644 --- a/gameloop.py +++ b/gameloop.py @@ -293,7 +293,8 @@ def game(send, notice, voice, devoice, get_event): elif event == events.leave: nick, = args if nick not in players: - send('No such player %s' % nick) + # Ignore those not in the game + pass elif errwrapper('Could not remove player %s (%%s)' % nick, remove_player, nick) is not Error: devoice(nick)