| 35 | | define('STATS_UPDATE_TIME', 6); // update interval for system uptime information |
|---|
| 36 | | define('INFO_UPDATE_TIME', 30); // update interval for system uptime information |
|---|
| | 35 | if (isset($amp_conf['DASHBOARD_STATS_UPDATE_TIME']) && $amp_conf['DASHBOARD_STATS_UPDATE_TIME'] && ctype_digit($amp_conf['DASHBOARD_STATS_UPDATE_TIME'])) { |
|---|
| | 36 | define('STATS_UPDATE_TIME', $amp_conf['DASHBOARD_STATS_UPDATE_TIME']); |
|---|
| | 37 | } else { |
|---|
| | 38 | define('STATS_UPDATE_TIME', 6); // update interval for system information |
|---|
| | 39 | } |
|---|
| | 40 | if (isset($amp_conf['DASHBOARD_INFO_UPDATE_TIME']) && $amp_conf['DASHBOARD_INFO_UPDATE_TIME'] && ctype_digit($amp_conf['DASHBOARD_INFO_UPDATE_TIME'])) { |
|---|
| | 41 | define('INFO_UPDATE_TIME', $amp_conf['DASHBOARD_INFO_UPDATE_TIME']); |
|---|
| | 42 | } else { |
|---|
| | 43 | define('INFO_UPDATE_TIME', 30); // update interval for system uptime information |
|---|
| | 44 | } |
|---|