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, service
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service
public 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.