/**
* Shows a message screen to the user.
* @param string $message HTML message
* @param string $status HTTP status
* @param string $redirect URL for automatic redirection
* @param string $location Location of the created URL
*/
public static function show_message($message, $status, $location)
{
REST::header(array('status' => $status, 'Content-Type' => REST::best_xhtml_type() . '; charset=UTF-8', 'Location' => REST::rel2url($location)));
echo REST::html_start('Redirect') . <<<EOS
<p>{$message}</p>
<script type="text/javascript"><![CDATA[
setTimeout(
'window.location.href = "{$location}";',
1000
);
]]></script>
EOS;
echo REST::html_end();
exit;
}
