Class NavigatorSetupServlet

  • All Implemented Interfaces:
    Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig

    public class NavigatorSetupServlet
    extends javax.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:
    Serialized Form
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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 javax.servlet.http.HttpServlet

        doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service
      • Methods inherited from class javax.servlet.GenericServlet

        getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, log, log
    • Constructor Detail

      • NavigatorSetupServlet

        public NavigatorSetupServlet()
    • Method Detail

      • init

        public void init()
                  throws javax.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 javax.servlet.GenericServlet
        Throws:
        javax.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 javax.servlet.Servlet
        Overrides:
        destroy in class javax.servlet.GenericServlet
      • getDebug

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