in dashboard/src/main/resources/static/metrics_ui.js [137:149]
function toggleAutoUpdate() {
const updateBtn = document.getElementById('btn_auto_update');
if (intervalTimerId) {
clearInterval(intervalTimerId);
intervalTimerId = null;
updateBtn.style.background = '';
updateBtn.style.color = 'black';
} else {
intervalTimerId = setInterval(retrieveAllConfigs, UPDATE_INTERVAL_MILLS);
updateBtn.style.background = 'green';
updateBtn.style.color = 'white';
}
}