Yes. I have done everything. This affects all users. Uninstalled and re-installed the plugin. Removed the plugin. Restarted the service. Restarted the server. Should there not be a .xml or java file I can tweak?
On Tuesday, January 5, 2016 at 4:01:39 PM UTC-5, Baptiste Mathus wrote: > > Just to be sure: are you talking about refreshing Jenkins pages? Have you > clicked on the right on the "Auto refresh" link? > > 2016-01-05 21:54 GMT+01:00 Eric Naitove <enai...@gmail.com <javascript:>>: > >> We have the Config AutoRefresh Plugin >> <http://wiki.jenkins-ci.org/display/JENKINS/Config+AutoRefresh+Plugin> >> installed. >> Set to 10 seconds. It system never refreshes for anybody. I removed it >> hoping for the "default" refresh (like on my local computer). Nope. >> Re-installed the plugin back on and still nothing >> >> On Tuesday, January 5, 2016 at 2:23:17 PM UTC-5, Eric Naitove wrote: >>> >>> Does not work on our server. Where can I set this manually ? >>> >> -- >> 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-use...@googlegroups.com <javascript:>. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-users/f6753db1-ea73-48f1-a811-11a172ec4a13%40googlegroups.com >> >> <https://groups.google.com/d/msgid/jenkinsci-users/f6753db1-ea73-48f1-a811-11a172ec4a13%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Baptiste <Batmat> MATHUS - http://batmat.net > Sauvez un arbre, > Mangez un castor ! > -- 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/4b061cea-a0b6-4547-b6a0-54c43730294a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
