public interface WebsocketEndpointToControllerManager
| Modifier and Type | Method and Description |
|---|---|
void |
addEndpointController(String endpointId,
WebsocketController<?,?> controller)
Adds a link between a WebSocket endpoint and a controller.
|
boolean |
isManagingEndpoint(String endpointId,
WebsocketController<?,?> controller)
Is the specified controller currently the manager of the
endpoint?
|
void |
removeEndpointController(String endpointId)
Removes the link between a WebSocket endpoint and a controller.
|
void addEndpointController(String endpointId, WebsocketController<?,?> controller) throws WebsocketEndpointAlreadyManagedByAnotherControllerException
void removeEndpointController(String endpointId)
boolean isManagingEndpoint(String endpointId, WebsocketController<?,?> controller)
Copyright © 2017. All rights reserved.