(client: NormalizedHotChannelClient)
| 510 | } |
| 511 | |
| 512 | delete(client: NormalizedHotChannelClient): string | undefined { |
| 513 | const id = this.clientToId.get(client) |
| 514 | if (id) { |
| 515 | this.clientToId.delete(client) |
| 516 | this.idToClient.delete(id) |
| 517 | return id |
| 518 | } |
| 519 | } |
| 520 | } |
| 521 | |
| 522 | function debounce(time: number, cb: () => void) { |