|
.png" class="bot" alt="user" />
[]
0) {
echo '';
require_css_file ('dialog');
require_jquery_file ('ui.core');
require_jquery_file ('ui.dialog');
echo '';
print_image ("images/email.png", false,
array ("title" => __('You have %d unread message(s)', $msg_cnt), "id" => "yougotmail", "class" => "bot"));
echo '';
}
?>
|
'.__('All systems').': '.__('Down');
}
elseif ($servers["down"] != 0) {
//Some servers down
echo ' '.$servers["down"].' '.__('servers down');
}
else {
//All servers up
echo ' '.__('All systems').': '.__('Ready');
}
unset ($servers); // Since this is the header, we don't like to trickle down variables.
?>
|
false, 'code' => false);
if ($config["refr"]) {
$ignored_params['refr'] = 0;
echo ' '. __('Autorefresh');
echo ' ('.date ("i:s", $config["refr"]).')';
echo '';
}
else {
$ignored_params['refr'] = '';
echo ' '.__('Autorefresh').'';
$values = array (
'5' => '5 '.__('seconds'),
'10' => '10 '.__('seconds'),
'15' => '15 '.__('seconds'),
'30' => '30 '.__('seconds'),
'60' => '1 '.__('minute'),
'120' => '2 '.__('minutes'),
'300' => '5 '.__('minutes'),
'900' => '15 '.__('minutes'),
'1800' => '30 '.__('minutes'),
'3600' => '1 '.__('hour'));
echo '';
print_select ($values, 'ref', '', '', __('Select'), '0', false, false, false);
unset ($values);
echo '';
}
echo " | ";
echo "";
echo "";
echo " Pandora FMS ";
if (file_exists (ENTERPRISE_DIR."/load_enterprise.php"))
echo 'Enterprise ';
else
echo 'OpenSource ';
echo "";
?>
|