@ConfigurationProperties(prefix="vaadin.servlet") public class VaadinServletConfigurationProperties extends Object
VaadinServletConfiguration and can be
set in various ways.| Constructor and Description |
|---|
VaadinServletConfigurationProperties() |
| Modifier and Type | Method and Description |
|---|---|
int |
getHeartbeatInterval() |
int |
getResourceCacheTime() |
String |
getResources() |
String |
getUrlMapping() |
boolean |
isCloseIdleSessions() |
boolean |
isProductionMode() |
void |
setCloseIdleSessions(boolean closeIdleSessions) |
void |
setHeartbeatInterval(int heartbeatInterval) |
void |
setProductionMode(boolean productionMode) |
void |
setResourceCacheTime(int resourceCacheTime) |
void |
setResources(String resources) |
void |
setUrlMapping(String urlMapping) |
public VaadinServletConfigurationProperties()
public boolean isProductionMode()
public int getResourceCacheTime()
public int getHeartbeatInterval()
public boolean isCloseIdleSessions()
public String getResources()
public 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(String resources)
public void setUrlMapping(String urlMapping)
Copyright © 2018 Vaadin Ltd. All Rights Reserved.