public interface WebSocketClient
Modifier and Type | Method and Description |
---|---|
<any> |
execute(java.net.URI url,
HttpHeaders headers,
WebSocketHandler handler)
A variant of
execute(URI, WebSocketHandler) with custom headers. |
<any> |
execute(java.net.URI url,
WebSocketHandler handler)
Execute a handshake request to the given url and handle the resulting
WebSocket session with the given handler.
|
<any> execute(java.net.URI url, WebSocketHandler handler)
url
- the handshake urlhandler
- the handler of the WebSocket sessionMono<Void>
to indicate the outcome of the
WebSocket session handling.<any> execute(java.net.URI url, HttpHeaders headers, WebSocketHandler handler)
execute(URI, WebSocketHandler)
with custom headers.url
- the handshake urlheaders
- custom headers for the handshake requesthandler
- the handler of the WebSocket sessionMono<Void>
to indicate the outcome of the
WebSocket session handling.