session_start(); if(!isset($_SESSION['ident'])) { $url="login.php"; header("Location: $url"); } unset($_SESSION['ident']); session_unset(); session_destroy(); ?>