(socket: WebSocket)
| 36 | } |
| 37 | |
| 38 | removeUser(socket: WebSocket) { |
| 39 | const user = this.users.find((user) => user.socket === socket); |
| 40 | if (!user) { |
| 41 | console.error('User not found?'); |
| 42 | return; |
| 43 | } |
| 44 | this.users = this.users.filter((user) => user.socket !== socket); |
| 45 | socketManager.removeUser(user); |
| 46 | } |
| 47 | |
| 48 | removeGame(gameId: string) { |
| 49 | this.games = this.games.filter((g) => g.gameId !== gameId); |