(channelId: string, ws: WebSocket)
| 534 | } |
| 535 | |
| 536 | private addSocket(channelId: string, ws: WebSocket): void { |
| 537 | const sockets = this.socketsByChannel.get(channelId) ?? new Set<WebSocket>(); |
| 538 | sockets.add(ws); |
| 539 | this.socketsByChannel.set(channelId, sockets); |
| 540 | } |
| 541 | |
| 542 | private removeSocket(channelId: string, ws: WebSocket): void { |
| 543 | const sockets = this.socketsByChannel.get(channelId); |