public class NavigatorSetupServlet
extends javax.servlet.http.HttpServlet
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.
Constructor and Description |
---|
NavigatorSetupServlet() |
Modifier and Type | Method and 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.
|
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModified, service, service
public void init() throws javax.servlet.ServletException
init
in class javax.servlet.GenericServlet
javax.servlet.ServletException
- if we cannot configure ourselves correctlypublic void destroy()
destroy
in interface javax.servlet.Servlet
destroy
in class javax.servlet.GenericServlet
public int getDebug()