diff options
Diffstat (limited to 'sonar-server/src/main/webapp/WEB-INF/web.xml')
| -rw-r--r-- | sonar-server/src/main/webapp/WEB-INF/web.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sonar-server/src/main/webapp/WEB-INF/web.xml b/sonar-server/src/main/webapp/WEB-INF/web.xml index 23172c43dbe..db10b309cac 100644 --- a/sonar-server/src/main/webapp/WEB-INF/web.xml +++ b/sonar-server/src/main/webapp/WEB-INF/web.xml @@ -113,6 +113,11 @@ <url-pattern>/batch/*</url-pattern> </servlet-mapping> + <session-config> + <!-- in minutes --> + <session-timeout>20</session-timeout> + </session-config> + <listener> <listener-class>org.sonar.server.platform.PlatformLifecycleListener</listener-class> </listener> |