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, servicepublic void init()
throws javax.servlet.ServletException
init in class javax.servlet.GenericServletjavax.servlet.ServletException - if we cannot configure ourselves correctlypublic void destroy()
destroy in interface javax.servlet.Servletdestroy in class javax.servlet.GenericServletpublic int getDebug()