public interface ServerManager
Modifier and Type | Method and Description |
---|---|
void |
addServlet(javax.servlet.Servlet servlet,
java.util.HashMap<java.lang.String,java.lang.Object> additionalProperties)
Method for adding a servlet to the server(s).
|
boolean |
isStarted()
Query whether or not the underlying webserver is started or not.
|
void |
removeDeployment(java.lang.String contextPath)
Method for removing a deployment from the server(s).
|
void |
startDeployment(java.lang.String contextPath)
If for any reason a deployment should be started.
|
void |
stopDeployment(java.lang.String contextPath)
If for any reason a deployment should be stopped.
|
boolean isStarted()
void addServlet(javax.servlet.Servlet servlet, java.util.HashMap<java.lang.String,java.lang.Object> additionalProperties) throws java.lang.Exception
servlet
- - The servlet to be added to the server.additionalProperties
- - Additional properties needed for the deployment.java.lang.Exception
- on exception.void removeDeployment(java.lang.String contextPath) throws java.lang.Exception
contextPath
- - The context path of the deployment.java.lang.Exception
- on exception.void startDeployment(java.lang.String contextPath) throws java.lang.Exception
java.lang.Exception
- on exception.void stopDeployment(java.lang.String contextPath) throws java.lang.Exception
java.lang.Exception
- on exception.