diff options
| author | Erik Lumme <erik@vaadin.com> | 2017-09-12 13:15:56 +0300 |
|---|---|---|
| committer | Erik Lumme <erik@vaadin.com> | 2017-09-12 13:15:56 +0300 |
| commit | d2ebe3e9e103340004b3b4e6641aae16f11cd730 (patch) | |
| tree | 5c91443f83844aa45bf7a1541f5b993ba2a2e09b /documentation | |
| parent | 4f681104b83d0392b27c75539396ef2013803c43 (diff) | |
| download | vaadin-framework-d2ebe3e9e103340004b3b4e6641aae16f11cd730.tar.gz vaadin-framework-d2ebe3e9e103340004b3b4e6641aae16f11cd730.zip | |
Add formatting for properties
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/articles/VaadinSpringTips.asciidoc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/documentation/articles/VaadinSpringTips.asciidoc b/documentation/articles/VaadinSpringTips.asciidoc index c86608bdbf..08932faae3 100644 --- a/documentation/articles/VaadinSpringTips.asciidoc +++ b/documentation/articles/VaadinSpringTips.asciidoc @@ -12,9 +12,9 @@ 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 +* `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]. |