diff options
Diffstat (limited to 'documentation/articles/VaadinSpringTips.asciidoc')
| -rw-r--r-- | documentation/articles/VaadinSpringTips.asciidoc | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/documentation/articles/VaadinSpringTips.asciidoc b/documentation/articles/VaadinSpringTips.asciidoc new file mode 100644 index 0000000000..c86608bdbf --- /dev/null +++ b/documentation/articles/VaadinSpringTips.asciidoc @@ -0,0 +1,20 @@ +[[vaadin-spring-tips]] +Vaadin Spring tips +------------------ + +[[vaadin-spring-boot-configuration-properties]] +Vaadin Spring (Boot) configuration properties +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +Your project, if generated by `start.spring.io`, contains a configuration +file `src/main/resources/application.properties` or similar YAML +configuration file. It is a handy way to configure the VaadinServlet +that is automatically introduced by Vaadin Spring. Here are couple of +example which can be configured: + +* vaadin.servlet.productionMode=true +* vaadin.servlet.heartbeatInterval=60 +* vaadin.servlet.closeIdleSessions=true + +For full list of available properties, see +https://github.com/vaadin/spring/blob/master/vaadin-spring-boot/src/main/java/com/vaadin/spring/boot/internal/VaadinServletConfigurationProperties.java[VaadinServletConfigurationProperties]. |