<?php
ini_set('session.cookie_httponly', 1);
ini_set('session.use_only_cookies', 1);
ini_set('session.cookie_secure', 1);
session_start();
if(!isset($_SESSION['myusername'])){
header("location:login.html");
}
session_destroy();
header("location:login.html");
?>