public class PtolemyWebSocketServlet
extends org.eclipse.jetty.websocket.WebSocketServlet
| Constructor and Description |
|---|
PtolemyWebSocketServlet(WebSocketEndpoint endpoint)
Create a new servlet associated with the given endpoint.
|
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.jetty.websocket.WebSocket |
doWebSocketConnect(javax.servlet.http.HttpServletRequest request,
java.lang.String protocol)
Upon receiving a connect request, create a new websocket endpoint to
manage communication.
|
checkOrigin, destroy, init, servicedoDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, servicepublic PtolemyWebSocketServlet(WebSocketEndpoint endpoint)
endpoint - The endpoint (WebSocket implementer)
associated with this servlet.public org.eclipse.jetty.websocket.WebSocket doWebSocketConnect(javax.servlet.http.HttpServletRequest request,
java.lang.String protocol)
request - The request.protocol - The protocol of the request.