Установка параметра Vaadin session-timeout

Question

Я использую Vaadin 7.1.7, и я не могу понять, как установить session-timeout параметр (до, скажем, 1 минута).

Насколько я могу судить, Vaadin 7.x.x не производит web.xml, он использует @VaadinServletConfiguration аннотацию, но не похоже, чтобы быть параметром session-timeout.

Answer 1

Насколько я знаю, что есть 2 способа установки сеанса-тайм-аут в 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 не помогают: link

Дополнительная помощь здесь: link