diff options
| author | Luca Casonato <lucacasonato@yahoo.com> | 2021-04-02 00:55:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-02 00:55:22 +0200 |
| commit | 0e72129da2fb3ef5b9ca27552e30264a8fc4c0a7 (patch) | |
| tree | 2b1e6e1def8c4bbf0a33886bfe0d7b4fd7f6c7a3 /op_crates/web/lib.deno_web.d.ts | |
| parent | 2d7fdb0a1969128fc0d9a21a8dfaebada325f72d (diff) | |
fix(websocket): ignore resource close error (#9755)
It is possible that the WebSocket is already closed when we try to
close it with `WebSocket#close` or in the `error` or `close` events.
Currently this leads to an uncatchable promise rejection. This changes
this so that closing an already closed WebSocket is a noop.
Diffstat (limited to 'op_crates/web/lib.deno_web.d.ts')
0 files changed, 0 insertions, 0 deletions