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.EngineExceptionString 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.EngineExceptionString getServerAddress()
Copyright © 2018 Unity. All rights reserved.