<?
function redirect($uri){
	global $db;

	$uri = trim($uri);
	if (!$uri) nice_death('<B>Fatal Error:</B> Invalid URI specified for redirect()');

	Header('Location: ' . $uri);
	require_once($inc_dir . 'header.inc');
	echo '<META HTTP-EQUIV="refresh" CONTENT="0;URL=' . $uri . '">';
	echo '<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript"> location.href = "' . $uri . '"; </SCRIPT>';
	echo '<DIV CLASS="h1">Redirecting you to ' . $uri . '.</DIV>';
	echo '<DIV CLASs="h2"><A HREF="' . $uri . '">Click Here if it doesn\'t work.</A></DIV>';
	require_once($inc_dir . 'footer.inc');
	die();
}

function force_refresh(){
	global $db;
	redirect($_SERVER['PHP_SELF']);
	die();
}
?>