function redirect($url)
{
	if (count($_SESSION))
	{
		session_write_close();
	}

	$url = filter_var($url, FILTER_SANITIZE_URL);

	header("Location: $url", true, 302);
	exit;
}