";
} else {
echo " ";
}
?>
|
 .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 '';
}
}
?>
|
';
$servers["all"] = (int) get_db_value ('COUNT(id_server)','tserver');
$servers["up"] = (int) check_server_status ();
$servers["down"] = $servers["all"] - $servers["up"];
if ($servers["up"] == 0) {
//All Servers down or no servers at all
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.
echo '';
} else {
// TODO: Put here to remark this is a metaconsole
echo "";
}
?>
|
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 "";
if (isset($config["custom_logo"]))
echo "![Logo](images/custom_logo/" . $config["custom_logo"] . ") ";
echo "";
?>
|
'.__('Events').'';
}
?>