Migrate VaadinSpringTips

diff --git a/documentation/articles/VaadinSpringTips.asciidoc b/documentation/articles/VaadinSpringTips.asciidoc
new file mode 100644 (file)
index 0000000..c86608b
--- /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].

diff --git a/documentation/articles/contents.asciidoc b/documentation/articles/contents.asciidoc
index 2cde97b723dea36dd252dc6cd619cb92a220a86a..85d8a40cb7dd1796a48d904e3461e2e5817aa091 100644 (file)
--- a/documentation/articles/contents.asciidoc
+++ b/documentation/articles/contents.asciidoc
@@ -52,4 +52,5 @@ are great, too.
 - link:IBGettingStartedWithVaadinSpringWithoutSpringBoot.asciidoc[I b - Getting started with Vaadin Spring withoout Spring Boot]
 - link:Vaadin7SpringSecurityBaseAuthentification.asciidoc[Vaadin 7 + Spring Security (base authentication)]
 - link:UsingBeanValidationToValidateInput.asciidoc[Using Bean Validation to validate input]
+- link:VaadinSpringTips.asciidoc[Vaadin Spring tips]
 - link:CreatingAUIExtension.asciidoc[Creating a UI extension]