See: Description
| Interface | Description |
|---|---|
| WebSocketService |
An interface for actors that handle WebSocket requests.
|
| Class | Description |
|---|---|
| PtolemyWebSocketServlet |
A servlet that manages locally hosted websockets.
|
| WebSocketEndpoint |
A class that keeps a reference to the WebSocket connection, notifies
services of incoming messages and allows services to write to the WebSocket.
|
| WebSocketEndpointManager |
A singleton class that manages websocket endpoints and their connection
openers (clients, servlets).
|
| WebSocketReader |
An actor that reads information from a websocket.
|
| WebSocketWriter |
An actor that writes information to a websocket.
|