|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Hi Martin,
The PR for such change would be useful in any case.
Regarding the web UI...![]()
On our installations we have increased the refresh timeout of the internal queue cache (JENKINS-19691, see https://github.com/jenkinsci/jenkins/pull/1221).
Together with a periodic cache refresh via a kick-starter task, such solution greatly improves the responsiveness of the UI.
BTW, it also leads to glitches in the side-panel
Unfortunately, "F5" does not help in such case