$url1 = "http://".$_SERVER['HTTP_HOST'].$_SERVER['REQUEST_URI'];
    $url2 = "http://".$_SERVER['HTTP_HOST'].$_SERVER['PHP_SELF'];
    $url2 = str_replace('index.php', '', $url2 );
    if($url1 == $url2)
    {
       @header("Location: portal");
       exit;
    }