start bot disconnect on restart

2023-01-21 10:56:11 +00:00 · 2023-01-21 10:56:11 +00:00 · babc4f3f48
commit babc4f3f48
parent 5eafa4fa18
1 changed files with 1 additions and 1 deletions
--- a/backend/server.py
+++ b/backend/server.py
@ -807,7 +807,7 @@ if __name__ == '__main__':
            for g in games:
                for p in g.players:
                    if p.sid != 'bot':
-                        p.sid = None
+                        sio.start_background_task(p.disconnect)
                    else:
                        sio.start_background_task(p.bot_spin)
    sio.start_background_task(save_games)