Class SetiServlet

java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
org.cometd.oort.jakarta.SetiServlet
All Implemented Interfaces:
jakarta.servlet.Servlet, jakarta.servlet.ServletConfig, 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:

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    SETI_CONTEXT_ATTRIBUTE_NAME_PARAM
     

    Fields inherited from class jakarta.servlet.http.HttpServlet

    LEGACY_DO_HEAD

  • Constructor Summary

    Constructors
    Constructor
    Description
    SetiServlet()
     

  • Method Summary

    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

  • Field Details

  • Constructor Details

    • SetiServlet

      public SetiServlet()

  • Method Details

    • 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.http.HttpServlet
      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