2001-11-22 06:23:56 +00:00
< ? PHP // $Id$
require ( " ../config.php " );
if ( isset ( $text )) { // form submitted
2002-06-05 14:05:59 +00:00
if ( ! $admin = get_admin () ) {
2001-11-22 06:23:56 +00:00
error ( " Could not find the admin user to mail to! " );
}
2002-06-05 14:05:59 +00:00
email_to_user ( $admin , $USER , " Error: $referer -> $requested " , " $text " );
2001-11-22 06:23:56 +00:00
redirect ( " $CFG->wwwroot /course/ " , " Message sent, thanks " , 3 );
die ;
}
2002-09-17 14:56:18 +00:00
$site = get_site ();
2001-11-22 06:23:56 +00:00
2002-09-17 14:56:18 +00:00
print_header ( " $site->fullname :Error " , " $site->fullname : Error 404 " , " " , " form.text " );
2001-11-22 06:23:56 +00:00
2002-09-26 07:03:22 +00:00
print_simple_box ( " An unusual error occurred (tried to reach a page that doesn't exist).<P align=center> $REDIRECT_URL " , " center " , " " , " $THEME->cellheading " );
2001-11-22 06:23:56 +00:00
?>
< CENTER >
< P > If you have time , please let us know what you were trying
to do when the error occurred :
< P >< FORM action = " <?= $CFG->wwwroot ?>/error/index.php " name = form method = post >
< TEXTAREA ROWS = 3 COLS = 50 NAME = text ></ TEXTAREA >< BR >
< INPUT TYPE = hidden NAME = referer VALUE = " <?= $HTTP_REFERER ?> " >
< INPUT TYPE = hidden NAME = requested VALUE = " <?= $REQUEST_URI ?> " >
< INPUT TYPE = submit VALUE = " Send this off " >
</ FORM >
< ?
print_footer ();
?>