Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/928
I also wanted to implement it like that as first, but unfortunately the
[`ClientWebSocket.Options`
property](https://docs.microsoft.com/dotnet/api/system.net.websockets.clientwebsocket.options)
only has a `get`, but no `set`. So, we have no way to provide our own
`ClientWebSocketOptions` object. I also don't see how we could forward changes
to the `ClientWebSocketOptions` of every already created connection.
---
