/** Funktionen är skriven av Alessandro Pisani som har skrivit bl.a. PhpWebSite **/

function html_header_location($url) {
$agent = (phpversion() > "4.1.0") ? $_SERVER[HTTP_USER_AGENT] : $HTTP_SERVER_VARS[HTTP_USER_AGENT];

// Both IE 5.x and Mozilla >= 0.9.8 now require header() to be postfixed by
// exit, otherwise they do not execute headers send

If (stristr($agent, 'msie')) {
Header("Refresh: 0;url=$url");
} Else {
Header("Location: $url");
}
Exit;
}