<?php if (!isset($_SESSION["username"])) { Header('Location: login.php'); } ?>
<?php // If the user is valid if (IsValidUser($Username)) { $_SESSION["username"] = $Username; } else { echo "Invalid user" } ?>
<?php $_SESSION = array(); Session_destoy(); ?>