From 6113dae84cc930a9b4ce7d20a1760b6fde473b41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juhani=20Krekel=C3=A4?= <juhani.haverinen@gmail.com>
Date: Mon, 6 May 2019 18:59:07 +0300
Subject: [PATCH] Remove players who have left from players_ready

---
 gameloop.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gameloop.py b/gameloop.py
index f1d8afe..90dd7c0 100644
--- a/gameloop.py
+++ b/gameloop.py
@@ -326,6 +326,7 @@ def game(send, notice, voice, devoice, get_event):
 				send('Lost all players, quiting game setup')
 				return no_game
 
+			players_ready = set(i for i in players_ready if i in players.values())
 			players_unready = [i for i in players.values() if i not in players_ready]
 			if len(players_unready) == 0: break