<?php
# do not include twice
if (function_exists("throw_http_error"))
return;
function throw_http_error($error_number, $error_message, $extra_message = "") {
header("Status: " . $error_number . " " . $error_message);
print "Error " . $error_number . ": " . $error_message . "\n";
if ($extra_message != "")
print "<br>\n" . $extra_message;
die();
};
function die_500($message) {
throw_http_error(500, "Internal Server Error", $message);
};
function redirect_temporarily($uri) {
header("Location: " . $uri);
print "<!DOCTYPE HTML PUBLIC \"-//IETF//DTD HTML 2.0//EN\">\n";
print "<html><head>\n";
print "<title>302 Found</title>\n";
print "</head><body>\n";
print "<h1>Found</h1>\n";
print "<p>The document has moved <a href=\"" . $uri . "\">here</a>.</p>\n";
print "<hr>\n";
print "</body></html>\n";
die();
};