id)) {
$user = getremoteaddr(); // user not logged in, use IP address as name
} else {
$user = $USER;
}
email_to_user($admin, $user, 'Error: '. $form->referer .' -> '. $form->requested, $form->text);
redirect($CFG->wwwroot .'/course/', 'Message sent, thanks', 3);
die;
}
$site = get_site();
$redirecturl = empty($_SERVER['REDIRECT_URL']) ? '' : $_SERVER['REDIRECT_URL'];
$httpreferer = empty($_SERVER['HTTP_REFERER']) ? '' : $_SERVER['HTTP_REFERER'];
$requesturi = empty($_SERVER['REQUEST_URI']) ? '' : $_SERVER['REQUEST_URI'];
print_header($site->fullname .':Error', $site->fullname .': Error 404', '', 'form.text');
print_simple_box(''. get_string('pagenotexist', 'error'). '
'.s($requesturi).'
', 'center');
?>