Package org.cometd.oort

Class SetiServlet

  • All Implemented Interfaces:
    jakarta.servlet.Servlet, jakarta.servlet.ServletConfig, java.io.Serializable
    public class SetiServlet
extends jakarta.servlet.http.HttpServlet

    This servlet initializes and configures and instance of the Seti user mapper.

    This servlet must be initialized after an instance the Oort servlet that creates the Oort instance.

    Override method newSeti(Oort) to return a customized instance of Seti.

    See Also:
    OortMulticastConfigServlet, Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      SetiServlet()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void destroy()  
      void init​(jakarta.servlet.ServletConfig config)  
      protected Seti newSeti​(Oort oort)  

      • Methods inherited from class jakarta.servlet.http.HttpServlet

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

      • Methods inherited from class jakarta.servlet.GenericServlet

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

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • SetiServlet

        public SetiServlet()

    • Method Detail

      • init

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

      • newSeti

        protected Seti newSeti​(Oort oort)

      • destroy

        public void destroy()
        Specified by:
        destroy in interface jakarta.servlet.Servlet
        Overrides:
        destroy in class jakarta.servlet.GenericServlet