(ws: WebSocket)
| 544 | } |
| 545 | |
| 546 | private unwireWs(ws: WebSocket): void { |
| 547 | if (this.messageHandler) ws.off('message', this.messageHandler); |
| 548 | if (this.closeHandler) ws.off('close', this.closeHandler); |
| 549 | if (this.errorHandler) ws.off('error', this.errorHandler); |
| 550 | this.messageHandler = null; |
| 551 | this.closeHandler = null; |
| 552 | this.errorHandler = null; |
| 553 | } |
| 554 | |
| 555 | private resize(cols: number, rows: number): void { |
| 556 | const c = clamp(Math.floor(cols), 1, MAX_DIM); |