public interface SharedEndpointManagement
Modifier and Type | Method and Description |
---|---|
void |
deployInternalEndpointFilter(String contextPath,
org.eclipse.jetty.servlet.FilterHolder filter)
Deploys the given filter in the internal, shared endpoint.
|
void |
deployInternalEndpointServlet(String contextPath,
org.eclipse.jetty.servlet.ServletHolder servlet,
boolean mapVaadinResource)
Deploys the given servlet in the internal, shared endpoint.
|
String |
getBaseContextPath() |
String |
getServerAddress() |
String |
getServletUrl(String servletPath) |
void deployInternalEndpointServlet(String contextPath, org.eclipse.jetty.servlet.ServletHolder servlet, boolean mapVaadinResource) throws pl.edu.icm.unity.exceptions.EngineException
contextPath
- path to the deployed servlet, will be the next element after the common context of
the whole internal endpoint.servlet
- the servlet to deploypl.edu.icm.unity.exceptions.EngineException
String getBaseContextPath()
String getServletUrl(String servletPath)
servletPath
- last path element of the servlet, without context prefix.void deployInternalEndpointFilter(String contextPath, org.eclipse.jetty.servlet.FilterHolder filter) throws pl.edu.icm.unity.exceptions.EngineException
contextPath
- filter
- pl.edu.icm.unity.exceptions.EngineException
String getServerAddress()
Copyright © 2019 Unity. All rights reserved.