Настройване на параметъра за времето за изчакване на сесия на Vaadin - сесия-timeout, vaadin7

Използвам Vaadin 7.1.7 и не мога да разбера как да настроя session-timeout параметър (например, 1мин).

Доколкото мога да кажа, Ваадин 7.x.x не произвежда web.xml, използва @VaadinServletConfiguration анотация, но не изглежда session-timeout параметър.

Отговори:

Доколкото знам, има два начина за задаване на таймаут на сесията в Vaadin 7.

В web.xml:

<session-config>
<session-timeout>1</session-timeout> <!-- 1 minute -->
</session-config>
<servlet>
<servlet-name>MyServlet</servlet-name>
<servlet-class>com.xyz.web.MyServlet</servlet-class>
<init-param>
<description>My Main Page</description>
<param-name>UI</param-name>
<param-value>com.xyz.web.MyUI</param-value>
</init-param>
<init-param>
<description>Enable Session Timeout (heartbeat can"t keep alive)</description>
<param-name>closeIdleSessions</param-name>
<param-value>true</param-value>
</init-param>
</servlet>
<servlet-mapping>
<servlet-name>MyServlet</servlet-name>
<url-pattern>/*</url-pattern>
</servlet-mapping>

Или можем да го настроим програмно (само текущата сесия):

VaadinSession.getCurrent().getSession().setMaxInactiveInterval(60); // 1 minute

Изглежда, анотациите на сервлета 3.0 не помагат: връзка

Още помощ тук: връзка