'health');
$navbar = 'Health » ';
$sep = "";
foreach ($datas as $texttype) {
$metric = strtolower($texttype);
$navbar .= $sep;
if ($vars['metric'] == $metric) {
$navbar .= '';
}
$sep = ' | ';
}
unset($sep);
if ($vars['view'] == "graphs") {
$displayoptions = '';
}
$displayoptions .= ' | ';
if ($vars['view'] != "graphs") {
$displayoptions .= '';
}
if (in_array($vars['metric'], array_keys($used_sensors))
|| $vars['metric'] == 'processor'
|| $vars['metric'] == 'storage'
|| $vars['metric'] == 'toner'
|| $vars['metric'] == 'mempool') {
include('pages/health/'.$vars['metric'].'.inc.php');
} else {
echo("No sensors of type " . $vars['metric'] . " found.");
}