| commit | 93ab05c8d53d9573822b9012d18410c24ed469c7 | [log] [tgz] |
|---|---|---|
| author | Florian Hockmann <fh@florian-hockmann.de> | Wed Apr 14 14:23:19 2021 +0200 |
| committer | Florian Hockmann <fh@florian-hockmann.de> | Wed Apr 14 14:23:19 2021 +0200 |
| tree | 92fb44c811e89c9b64956bfe5c5198eb6ab50a9a | |
| parent | fe6147c994db764e9a10e0906decbafdcf709435 [diff] |
TINKERPOP-2019 Cancel WS operations before closing This should avoid rare race conditions where we apparently still call ReceiveAsync on a Websocket that we have already closed which results in an InvalidOperationException.