From d2ebe3e9e103340004b3b4e6641aae16f11cd730 Mon Sep 17 00:00:00 2001 From: Erik Lumme Date: Tue, 12 Sep 2017 13:15:56 +0300 Subject: [PATCH] Add formatting for properties --- documentation/articles/VaadinSpringTips.asciidoc | 6 +++--- 1 file 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]. -- 2.39.5