| Package | Description |
|---|---|
| org.spincast.core.server | |
| org.spincast.core.websocket | |
| org.spincast.plugins.undertow |
| Modifier and Type | Method and Description |
|---|---|
WebsocketEndpointManager |
Server.getWebsocketEndpointManager(String endpointId)
Returns the manager for a Websockets endpoint.
|
WebsocketEndpointManager |
Server.websocketCreateEndpoint(String endpointId,
WebsocketEndpointHandler endpointHandler)
Creates a new Websocket endpoint.
|
| Modifier and Type | Method and Description |
|---|---|
List<WebsocketEndpointManager> |
Server.getWebsocketEndpointManagers()
Returns the managers of the existing Websockets endpoints.
|
| Modifier and Type | Method and Description |
|---|---|
protected WebsocketEndpointManager |
WebsocketEndpointHandlerDefault.getEndpointManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
WebsocketController.onEndpointReady(WebsocketEndpointManager endpointManager)
This method is called when a new endpoint is created and its manager
is ready.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
WebsocketEndpoint |
| Modifier and Type | Class and Description |
|---|---|
class |
SpincastWebsocketEndpoint |
| Modifier and Type | Method and Description |
|---|---|
WebsocketEndpointManager |
SpincastUndertowServer.getWebsocketEndpointManager(String endpointId) |
WebsocketEndpointManager |
SpincastUndertowServer.websocketCreateEndpoint(String endpointId,
WebsocketEndpointHandler appEndpointHandler) |
| Modifier and Type | Method and Description |
|---|---|
List<WebsocketEndpointManager> |
SpincastUndertowServer.getWebsocketEndpointManagers() |
Copyright © 2017. All rights reserved.