/*
* Starts or stops auto-refresh depending on the auto-refresh preference.
*/
protected void manageAutoRefresh(boolean enabled) {
// do nothing if we have already shutdown
if (refreshJob == null) return;
if (enabled) {
refreshJob.start();
monitors.start();
} else {
refreshJob.stop();
monitors.stop();
}
}
