From 4f681104b83d0392b27c75539396ef2013803c43 Mon Sep 17 00:00:00 2001 From: Erik Lumme Date: Tue, 12 Sep 2017 13:14:23 +0300 Subject: Migrate VaadinSpringTips --- documentation/articles/VaadinSpringTips.asciidoc | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 documentation/articles/VaadinSpringTips.asciidoc (limited to 'documentation/articles/VaadinSpringTips.asciidoc') 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]. -- cgit v1.2.3