I think it is in minutes. Before you edit the web.xml in the exploded war's
winstone
${user.home}/.jenkins/war/WEB-INF/web.xml
add this entry
<session-config> <session-timeout>20</session-timeout> </session-config>
I think you simply add "–DsessionTimeout=<value-in-miinutes>" in your jenkins's
start-up script like the rest.
From: David Aldrich
<[email protected]<mailto:[email protected]>>
Reply-To:
"[email protected]<mailto:[email protected]>"
<[email protected]<mailto:[email protected]>>
Date: Tuesday, December 17, 2013 8:35 AM
To: "[email protected]<mailto:[email protected]>"
<[email protected]<mailto:[email protected]>>
Subject: How to use --sessionTimeout?
Hi
Having upgraded to 1.532.1 LTS, how do I use the --sessionTimeout parameter?
Is it something like:
sudo /etc/init.d/jenkins start –sessionTimeout=1800
where the timeout value is in seconds?
Best regards
David
--
You received this message because you are subscribed to the Google Groups
"Jenkins Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
[email protected]<mailto:[email protected]>.
For more options, visit https://groups.google.com/groups/opt_out.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
