From f47f25180c6e08aa358cafb58108e2ec86f0a287 Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Thu, 24 Nov 2022 17:17:50 +0100
Subject: [PATCH] [WebSocket] Fix peers handling in multiplayer example.

Disconnected peers were not properly removed from the local peers list.
---
 networking/websocket_multiplayer/script/game.gd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/networking/websocket_multiplayer/script/game.gd b/networking/websocket_multiplayer/script/game.gd
index 9bd45b6c..e40440cc 100644
--- a/networking/websocket_multiplayer/script/game.gd
+++ b/networking/websocket_multiplayer/script/game.gd
@@ -64,7 +64,7 @@ func do_action(action):
 	var pos = _players.find(id)
 	if pos == -1:
 		return
-	_players.erase(pos)
+	_players.remove_at(pos)
 	_list.remove_item(pos)
 	if _turn > pos:
 		_turn -= 1