If you are using a newer version of PHP, I don't think $HTTP_USER_AGENT works. Use $_SERVER['HTTP_USER_AGENT'] or $HTTP_SERVER_VARS['HTTP_USER_AGENT']
Like I said, this code works :
function getBrowser() {
if(strpos($_SERVER['HTTP_USER_AGENT'],'MSIE') !== false) {
return 'IE';
} else if(strpos($_SERVER['HTTP_USER_AGENT'],'Gecko') !== false) {
return 'Mozilla/Firefox';
}
}
So then you would just do :
if(getBrowser() == 'IE') { header("Location: $good\n"); } else
{ header("Location: $bad\n"); }