Package net.ontopia.topicmaps.nav2.servlets

Class NavigatorSetupServlet

java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
net.ontopia.topicmaps.nav2.servlets.NavigatorSetupServlet
All Implemented Interfaces:
jakarta.servlet.Servlet, jakarta.servlet.ServletConfig, Serializable
public class NavigatorSetupServlet extends jakarta.servlet.http.HttpServlet
INTERNAL: NavigatorSetupServlet initializes and finalizes the management of the topicmaps available to the web-application.

Note: This servlet will never be called anytime by user request, but optionally on start-up and shut-down of the web-container. If you not make use of this servlet the root-level context-tag will care about setting up.

See Also:

  • Field Summary

    Fields inherited from class jakarta.servlet.http.HttpServlet

    LEGACY_DO_HEAD

  • Constructor Summary

    Constructors
    Constructor
    Description
    NavigatorSetupServlet()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    destroy()
    Gracefully shut down this navigator setup servlet, releasing any resources that were allocated at initialization.
    int
    getDebug()
    Return the debugging detail level for this servlet.
    void
    init()
    Initialize this servlet, including loading the as autoload specified topicmaps.

    Methods inherited from class jakarta.servlet.http.HttpServlet

    doDelete, doGet, doHead, doOptions, doPatch, doPost, doPut, doTrace, getLastModified, init, isSensitiveHeader, service, service

    Methods inherited from class jakarta.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

    • NavigatorSetupServlet

      public NavigatorSetupServlet()

  • Method Details

    • init

      public void init() throws jakarta.servlet.ServletException
      Initialize this servlet, including loading the as autoload specified topicmaps. The following servlet initialization parameters are processed, with default values in square brackets:
      • debug - The debugging detail level for this servlet, which controls how much information is logged. [0]
      Overrides:
      init in class jakarta.servlet.GenericServlet
      Throws:
      jakarta.servlet.ServletException - if we cannot configure ourselves correctly

    • destroy

      public void destroy()
      Gracefully shut down this navigator setup servlet, releasing any resources that were allocated at initialization.
      Specified by:
      destroy in interface jakarta.servlet.Servlet
      Overrides:
      destroy in class jakarta.servlet.GenericServlet

    • getDebug

      public int getDebug()
      Return the debugging detail level for this servlet.