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