Previous
"; // echo "You are not currently
logged in
."; echo"User:". $_SESSION['user_type_id']; echo "
Logged Out
\n"; echo "
You have successfully
logged out
. Back to
Login
"; unset($_SESSION['user_type_id']); header("Location:user.php"); ?>