Ver originalsession_start();if(!isset($_SESSION["login"])){header("location: indexfinal.php");} else {unset($_SESSION);$_SESSION = array();session_destroy();header("location: indexfinal.php");}