From 4f681104b83d0392b27c75539396ef2013803c43 Mon Sep 17 00:00:00 2001
From: Erik Lumme <erik@vaadin.com>
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

