public interface JettyServletRegistrar
Modifier and Type | Method and Description |
---|---|
void |
addServlet(ServletWrapper wrapper)
Add a servlet to the jetty engine.
|
void |
removeServlet(ServletWrapper wrapper)
Remove a servlet from the jetty engine.
|
void addServlet(ServletWrapper wrapper) throws CoreException
wrapper
- CoreException
void removeServlet(ServletWrapper wrapper) throws CoreException
wrapper
- the servlet wrapperCoreException