Document Kubernetes Kit backend session expiration policy (#4144)

* Document Kubernetes Kit backend session expiration policy

See: https://github.com/vaadin/kubernetes-kit/pull/163/files

* Update articles/tools/kubernetes/configuration.adoc

Co-authored-by: Matthew Wilson <[email protected]>

* Update configuration.adoc

* add Java example

* Update articles/tools/kubernetes/configuration.adoc

Co-authored-by: Marco Collovati <[email protected]>

* Update articles/tools/kubernetes/configuration.adoc

Co-authored-by: Marco Collovati <[email protected]>

* Edited new text only.

* Update articles/tools/kubernetes/configuration.adoc

Co-authored-by: Marco Collovati <[email protected]>

* Apply suggestions from code review

Co-authored-by: Jorg Heymans <[email protected]>

* Apply suggestions for example format and clarify differences

---------

Co-authored-by: Matthew Wilson <[email protected]>
Co-authored-by: Marco Collovati <[email protected]>
Co-authored-by: Russell J.T. Dyer <[email protected]>
Co-authored-by: Jorg Heymans <[email protected]>
Co-authored-by: Matthew Wilson <[email protected]>

Author: 5 people

articles/tools/kubernetes/configuration.adoc

@@ -84,3 +84,36 @@ spring:
     host: redis-service
 ----
 --
+
+== Backend Session Expiration Policy
+
+The backend session expiration policy allows you to define an expiration timeout for the backend stored session. By default, no expiration is set. However, expiration can be activated by setting the `vaadin.kubernetes.backend-session-expiration-tolerance` property. The property defines the amount of time to be added to the HTTP session timeout to determine the expiration of the backend session. If a time unit is not given, milliseconds is assumed. Another option is to provide a custom `SessionExpirationPolicy` bean, which allows you to define a custom expiration timeout, independent of the HTTP session timeout value.
+
+[.example]
+--
+Given an HTTP session timeout of 30 minutes, the session stored in the backend will expire after 35 minutes of inactivity.
+[source,properties]
+----
+<source-info group="application.properties"></source-info>
+vaadin.kubernetes.backend-session-expiration-tolerance: 5m
+----
+
+Given an HTTP session timeout of 30 minutes, the session stored in the backend will expire after 35 minutes of inactivity.
+[source,yaml]
+----
+<source-info group="application.yaml"></source-info>
+vaadin:
+  kubernetes:
+    backend-session-expiration-tolerance: 5m
+----
+
+The session stored in the backend will expire after 35 minutes of inactivity, regardless of the HTTP session timeout.
+[source,java]
+----
+<source-info group="Java bean"></source-info>
+@Bean
+SessionExpirationPolicy sessionExpirationPolicy() {
+    return sessionTimeout -> Duration.ofMinutes(35);
+}
+----
+--