Class 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-23, BSD License, Johannes Finckh
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      WsServlet()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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
    • Constructor Detail

      • WsServlet

        public WsServlet()
    • Method Detail

      • 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