";
echo "
";
} else {
$res = mysql_query("select * from host where id='$hostid'");
if (0) {
echo "No host with that ID";
exit;
}
$host = mysql_fetch_object($res);
$res = mysql_query("select * from user where id='$host->userid'");
$user = mysql_fetch_object($res);
send_problem_email($user, $host);
echo "Email to ".$user->email_addr." has been send.";
}
admin_page_tail();
?>