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: jenkinsci-users@googlegroups.com [mailto:jenkinsci-users@googlegroups.com] On Behalf Of Indra Gunawan (ingunawa) Sent: 17 December 2013 19:21 To: jenkinsci-users@googlegroups.com 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 <david.aldr...@emea.nec.com<mailto:david.aldr...@emea.nec.com>> Reply-To: "jenkinsci-users@googlegroups.com<mailto:jenkinsci-users@googlegroups.com>" <jenkinsci-users@googlegroups.com<mailto:jenkinsci-users@googlegroups.com>> Date: Tuesday, December 17, 2013 8:35 AM To: "jenkinsci-users@googlegroups.com<mailto:jenkinsci-users@googlegroups.com>" <jenkinsci-users@googlegroups.com<mailto:jenkinsci-users@googlegroups.com>> 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 jenkinsci-users+unsubscr...@googlegroups.com<mailto:jenkinsci-users+unsubscr...@googlegroups.com>. 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 jenkinsci-users+unsubscr...@googlegroups.com<mailto:jenkinsci-users+unsubscr...@googlegroups.com>. 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 jenkinsci-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
