@ConfigurationProperties(prefix="vaadin.servlet")
public class VaadinServletConfigurationProperties
extends java.lang.Object
VaadinServletConfiguration
and can be
set in various ways.Constructor and Description |
---|
VaadinServletConfigurationProperties() |
Modifier and Type | Method and Description |
---|---|
int |
getHeartbeatInterval() |
int |
getResourceCacheTime() |
java.lang.String |
getResources() |
java.lang.String |
getUrlMapping() |
boolean |
isCloseIdleSessions() |
boolean |
isProductionMode() |
void |
setCloseIdleSessions(boolean closeIdleSessions) |
void |
setHeartbeatInterval(int heartbeatInterval) |
void |
setProductionMode(boolean productionMode) |
void |
setResourceCacheTime(int resourceCacheTime) |
void |
setResources(java.lang.String resources) |
void |
setUrlMapping(java.lang.String urlMapping) |
public VaadinServletConfigurationProperties()
public boolean isProductionMode()
public int getResourceCacheTime()
public int getHeartbeatInterval()
public boolean isCloseIdleSessions()
public java.lang.String getResources()
public java.lang.String getUrlMapping()
public void setProductionMode(boolean productionMode)
public void setResourceCacheTime(int resourceCacheTime)
public void setHeartbeatInterval(int heartbeatInterval)
public void setCloseIdleSessions(boolean closeIdleSessions)
public void setResources(java.lang.String resources)
public void setUrlMapping(java.lang.String urlMapping)