(contexts: string[])
| 269 | } |
| 270 | }); |
| 271 | }); |
| 272 | } |
| 273 | |
| 274 | private clearHandshakeTimer(): void { |
| 275 | if (this.handshakeTimer !== null) { |
| 276 | clearTimeout(this.handshakeTimer); |
| 277 | this.handshakeTimer = null; |
| 278 | } |
| 279 | } |
| 280 | |
| 281 | disconnect(): void { |
| 282 | this.generation++; |
| 283 | this.destroyed = true; |
| 284 | if (this.reconnectTimer !== null) { |
| 285 | clearTimeout(this.reconnectTimer); |
| 286 | this.reconnectTimer = null; |
| 287 | } |
| 288 | this.clearHandshakeTimer(); |