hoofdkwartier

$pagename = 'pagina.php';
if($_SESSION['pagename'] == $pagename)
{
     header('location: '.$pagename);
}
else
{
     $_SESSION['pagename'] = $pagename;
}

$pagename = 'pagina.php';
if($_SESSION['pagename'] == $pagename)
{
     header('location: '.$pagename);
}
else
{
     $_SESSION['pagename'] = $pagename;
}