Hi I tried this:
# /etc/init.d/jenkins start --DsessionTimeout=1440 to set the timeout to 1 day. But the session timeout is still less than 1 day. Have I got the syntax right? David From: [email protected] [mailto:[email protected]] On Behalf Of Indra Gunawan (ingunawa) Sent: 17 December 2013 19:21 To: [email protected] Subject: Re: How to use --sessionTimeout? 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. Click here<https://www.mailcontrol.com/sr/cLRMyd1yv9bGX2PQPOmvUjXuKmsvWB!ma5f47ZNgd79SkxjSdxHYrY1HhMwL57kCEOZVnM2aHGmg1M3YVHc55g==> to report this email as spam. -- 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.
