public final class ContextInitialiser extends Object implements javax.servlet.ServletContextListener
ServletContextListener that just sets up a few shared resources
and sticks them in the ServletContext for access by servlets.| Modifier and Type | Field and Description |
|---|---|
static String |
MAVEN_SITE_URL_PROPERTY_NAME |
static String |
SNUGGLETEX_VERSION_PROPERTY_NAME |
static String |
STYLESHEET_MANAGER_ATTRIBUTE_NAME |
| Constructor and Description |
|---|
ContextInitialiser() |
| Modifier and Type | Method and Description |
|---|---|
void |
contextDestroyed(javax.servlet.ServletContextEvent servletContextEvent) |
void |
contextInitialized(javax.servlet.ServletContextEvent servletContextEvent) |
public static final String SNUGGLETEX_VERSION_PROPERTY_NAME
public static final String MAVEN_SITE_URL_PROPERTY_NAME
public static final String STYLESHEET_MANAGER_ATTRIBUTE_NAME
public void contextInitialized(javax.servlet.ServletContextEvent servletContextEvent)
contextInitialized in interface javax.servlet.ServletContextListenerpublic void contextDestroyed(javax.servlet.ServletContextEvent servletContextEvent)
contextDestroyed in interface javax.servlet.ServletContextListenerCopyright © 2008–2026 The University of Edinburgh. All rights reserved.