(websocket: WebSocket)
| 345 | } |
| 346 | |
| 347 | async function closeWebSocket(websocket: WebSocket): Promise<void> { |
| 348 | if (websocket.readyState === WebSocket.CLOSED) { |
| 349 | return; |
| 350 | } |
| 351 | |
| 352 | await new Promise<void>((resolve) => { |
| 353 | let finished = false; |
| 354 | |
| 355 | const finish = () => { |
| 356 | if (finished) { |
| 357 | return; |
| 358 | } |
| 359 | |
| 360 | finished = true; |
| 361 | clearTimeout(timeout); |
| 362 | websocket.off("close", finish); |
| 363 | websocket.off("error", finish); |
| 364 | resolve(); |
| 365 | }; |
| 366 | |
| 367 | const timeout = setTimeout(() => { |
| 368 | try { |
| 369 | websocket.terminate(); |
| 370 | } catch { |
| 371 | // Best effort - socket may already be closing. |
| 372 | } |
| 373 | |
| 374 | finish(); |
| 375 | }, 1000); |
| 376 | |
| 377 | websocket.once("close", finish); |
| 378 | websocket.once("error", finish); |
| 379 | |
| 380 | try { |
| 381 | websocket.close(); |
| 382 | } catch { |
| 383 | finish(); |
| 384 | } |
| 385 | }); |
| 386 | } |
no test coverage detected