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
    Constructor
    Description
     
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    configure(org.eclipse.jetty.websocket.servlet.WebSocketServletFactory factory)
     
    void
    init(javax.servlet.ServletConfig config)
     

    Methods inherited from class org.eclipse.jetty.websocket.servlet.WebSocketServlet

    destroy, init, service

    Methods inherited from class javax.servlet.http.HttpServlet

    doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service

    Methods inherited from class javax.servlet.GenericServlet

    getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, log, log

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • WsServlet

      public WsServlet()
  • Method Details

    • configure

      public void configure(org.eclipse.jetty.websocket.servlet.WebSocketServletFactory factory)
      Specified by:
      configure in class org.eclipse.jetty.websocket.servlet.WebSocketServlet
    • init

      public void init(javax.servlet.ServletConfig config) throws javax.servlet.ServletException
      Specified by:
      init in interface javax.servlet.Servlet
      Overrides:
      init in class javax.servlet.GenericServlet
      Throws:
      javax.servlet.ServletException