WebsocketConnection.with_extensions
Description:
[ CCode ( has_construct_function = false ) ]
[ Version ( since = "2.68" ) ]
public WebsocketConnection.with_extensions (IOStream stream, URI uri, WebsocketConnectionType type, string? origin, string? protocol, owned List<WebsocketExtension> extensions)
[ Version ( since = "2.68" ) ]
public WebsocketConnection.with_extensions (IOStream stream, URI uri, WebsocketConnectionType type, string? origin, string? protocol, owned List<WebsocketExtension> extensions)
Creates a WebsocketConnection on stream with the given
active extensions.
This should be called after completing the handshake to begin using the WebSocket protocol.
Parameters:
| stream |
a IOStream connected to the WebSocket server |
| uri |
the URI of the connection |
| type |
the type of connection (client/side) |
| origin |
the Origin of the client |
| protocol |
the subprotocol in use |
| extensions |
a List of WebsocketExtension objects |
Returns:
|
a new WebsocketConnection |