@Configuration @EnableConfigurationProperties(value=VaadinServletConfigurationProperties.class) public class JmixVaadinServletConfiguration extends java.lang.Object implements org.springframework.beans.factory.InitializingBean
SpringVaadinServlet
. If you want to
customize the servlet, extend it and make it available as a Spring bean.
By default, unless a custom mapping of the Vaadin servlet is performed using
the URL mapping configuration property
VaadinServletConfigurationProperties.getUrlMapping()
, the Vaadin
servlet is mapped to a hidden path not to block requests destined to
DispatcherServlet
. ServletForwardingController
is then mapped
so that requests to all SpringUI
paths are forwarded to the servlet
for the generation of a bootstrap page, which internally uses the Vaadin
servlet path for all other communication.
This approach currently relies on a hack that modifies request servlet path
and path info on the fly as those produced by
ServletForwardingController
are not what VaadinServlet
expects. See SpringVaadinServlet
for more information on this.
Exposes JmixVaadinServlet
.
Modifier and Type | Field and Description |
---|---|
protected org.springframework.context.ApplicationContext |
applicationContext |
protected VaadinServletConfigurationProperties |
configurationProperties |
static java.lang.String |
DEFAULT_SERVLET_URL_MAPPING |
static java.lang.String |
STATIC_RESOURCES_URL_MAPPING
Mapping for static resources that is used in case a non-default mapping
is used as the primary mapping.
|
Constructor and Description |
---|
JmixVaadinServletConfiguration() |
Modifier and Type | Method and Description |
---|---|
protected void |
addInitParameters(org.springframework.boot.web.servlet.ServletRegistrationBean servletRegistrationBean) |
void |
afterPropertiesSet() |
protected org.springframework.boot.web.servlet.ServletRegistrationBean |
createServletRegistrationBean() |
protected org.slf4j.Logger |
getLogger() |
protected java.util.List<java.lang.String> |
getUIPaths() |
protected java.lang.String[] |
getUrlMappings() |
protected boolean |
isMappedToRoot()
Returns true if the Vaadin servlet is mapped to the context root, false
otherwise.
|
com.vaadin.server.VaadinServlet |
vaadinServlet() |
protected org.springframework.boot.web.servlet.ServletRegistrationBean |
vaadinServletRegistration() |
org.springframework.web.servlet.mvc.Controller |
vaadinUiForwardingController()
Forwarding controller that sends requests for the root page of Vaadin
servlets to the Vaadin servlet.
|
org.springframework.web.servlet.handler.SimpleUrlHandlerMapping |
vaadinUiForwardingHandlerMapping() |
public static final java.lang.String DEFAULT_SERVLET_URL_MAPPING
public static final java.lang.String STATIC_RESOURCES_URL_MAPPING
@Autowired protected org.springframework.context.ApplicationContext applicationContext
@Autowired protected VaadinServletConfigurationProperties configurationProperties
@Bean public org.springframework.web.servlet.handler.SimpleUrlHandlerMapping vaadinUiForwardingHandlerMapping()
protected java.util.List<java.lang.String> getUIPaths()
protected org.slf4j.Logger getLogger()
@Bean public org.springframework.web.servlet.mvc.Controller vaadinUiForwardingController()
protected boolean isMappedToRoot()
protected java.lang.String[] getUrlMappings()
@Bean protected org.springframework.boot.web.servlet.ServletRegistrationBean vaadinServletRegistration()
public void afterPropertiesSet()
afterPropertiesSet
in interface org.springframework.beans.factory.InitializingBean
@Bean @ConditionalOnMissingBean public com.vaadin.server.VaadinServlet vaadinServlet()
protected org.springframework.boot.web.servlet.ServletRegistrationBean createServletRegistrationBean()
protected void addInitParameters(org.springframework.boot.web.servlet.ServletRegistrationBean servletRegistrationBean)