Définition du paramètre de délai de session Vaadin - timeout de la session, vaadin7

J'utilise Vaadin 7.1.7 et je n'arrive pas à comprendre comment régler session-timeout paramètre (à, disons, 1min).

Autant que je sache, Vaadin 7.x.x ne produit pas web.xml, il utilise @VaadinServletConfiguration annotation mais il ne semble pas y avoir de session-timeout paramètre.

Réponses:

Autant que je sache, il y a 2 façons de définir le délai d'expiration de session dans Vaadin 7.

Dans le 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>

Ou nous pouvons le définir par programme (session en cours uniquement):

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

Il semble que les annotations de servlet 3.0 n’aident pas: lien

Plus d'aide ici: lien