Closed jaga43 closed 6 years ago
We use the Meta refresh element to reload the page. A JavaScript approach would be much better. However, the page is refreshed every second, if a build is in progress. Otherwise after 10 seconds.
If you want to change the setting please change the value in the jsp pages. For Example: piazza-build-type-monitor.jsp
How to increase the auto-refresh time?