Package org.basex.http.ws
Class WsServlet
java.lang.Object
javax.servlet.GenericServlet
javax.servlet.http.HttpServlet
org.eclipse.jetty.websocket.servlet.WebSocketServlet
org.basex.http.ws.WsServlet
- All Implemented Interfaces:
Serializable,javax.servlet.Servlet,javax.servlet.ServletConfig
public final class WsServlet
extends org.eclipse.jetty.websocket.servlet.WebSocketServlet
WebSocket servlet.
- Author:
- BaseX Team 2005-21, BSD License, Johannes Finckh
- See Also:
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.eclipse.jetty.websocket.servlet.WebSocketServlet
destroy, init, serviceMethods inherited from class javax.servlet.http.HttpServlet
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, serviceMethods inherited from class javax.servlet.GenericServlet
getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, log, log
-
Constructor Details
-
WsServlet
public WsServlet()
-
-
Method Details
-
configure
public void configure(org.eclipse.jetty.websocket.servlet.WebSocketServletFactory factory) - Specified by:
configurein classorg.eclipse.jetty.websocket.servlet.WebSocketServlet
-
init
public void init(javax.servlet.ServletConfig config) throws javax.servlet.ServletException - Specified by:
initin interfacejavax.servlet.Servlet- Overrides:
initin classjavax.servlet.GenericServlet- Throws:
javax.servlet.ServletException
-