<?php session_start(); if(!isset($_SESSION['myusername'])){ header("location:login.html"); } session_destroy(); header("location:login.html"); ?>