<?php
  // log out if no session
  if (!isset($_SESSION['username'])) {
	if (isset($_SESSION)) {
	  while (list ($key, $val) = each ($_SESSION)) {
		session_unregister($key);
	  }
	  session_destroy();
	}
	header("Location: ./login.php");
	exit();
		
  }
?>