Re: Dump current JENKINS_OPTS?

2016-07-01 Thread Daniel Beck
/systemInfo should contain it.

> On 01.07.2016, at 17:03, James Green  wrote:
> 
> Can't immediately see a way of doing this. I've set a new `sessionTimeout` 
> and I'd like to confirm that Jenkins is honouring it.
> 
> Without wishing to wait a lengthy period, is there a web console page to dump 
> Jenkins' current configuration?
> 
> Thanks,
> 
> James
> 
> 
> -- 
> 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.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/jenkinsci-users/CAMH6%2Baw%3DRBR4ccLv5NVcMAW%2BEavHk3fYF2w%3D5oiPdFFZvORmyw%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-users/90B1FB82-4011-44E0-8FBC-97F8ABC825DD%40beckweb.net.
For more options, visit https://groups.google.com/d/optout.


Dump current JENKINS_OPTS?

2016-07-01 Thread James Green
Can't immediately see a way of doing this. I've set a new `sessionTimeout`
and I'd like to confirm that Jenkins is honouring it.

Without wishing to wait a lengthy period, is there a web console page to
dump Jenkins' current configuration?

Thanks,

James

-- 
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.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-users/CAMH6%2Baw%3DRBR4ccLv5NVcMAW%2BEavHk3fYF2w%3D5oiPdFFZvORmyw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.