mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
Pass the options into createWebSocket and use it to decide what value should be sent as the `Sec-WebSocket-Protocol` header when creating the websocket connection.