リダイレクトの方法

PHP

念の入ったリダイレクトの方法が以下のページに記載されている。確かにここまでやれば完璧だろう。
http://www.zend.com/tips/tips.php?id=246&single=1

function forceRedirect($url,$die=true) {
if (!headers_sent()) {
    ob_end_clean();
    header("Location: " . $url);
}
printf("<HTML>");
printf("<META http-equiv="Refresh" content="0;url=%s">", $url);
printf("<BODY onload="try {self.location.href='%s' } catch(e) {}"><a
href="%s">Redirect </a></BODY>", $url, $url);
printf("</HTML>");
if ($die)
    die();
}