\n" . $extra_message;
die();
};
function die_500($message) {
throw_http_error(500, "Internal Server Error", $message);
};
function redirect_temporarily($uri) {
header("Location: " . $uri);
print "\n";
print "\n";
print "302 Found\n";
print "\n";
print "Found
\n";
print "The document has moved here.
\n";
print "
\n";
print "\n";
die();
};