<?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['key'])){
	header("location:login.html");
}
$dept = "nn";
$sem = "nn";
$namee1 = $_SESSION['namee1']; 
if(isset($_SESSION['dept']) && isset($_SESSION['semester'])){
	$dept = $_SESSION['dept'];
	$sem = $_SESSION['semester'];
	$degree= $_SESSION['degree'];
	$avail = $_SESSION['avail'];
	$summer = $_SESSION['summer'];
	$summerdegree = $_SESSION['summerdegree'];
}
$r = $_SESSION['key'];
echo "<div align='right'>";
echo "Welcome ".$r." !!  ";

if($a == 1) {
	$_SESSION['expire'] = time()+1*60;
}
$a = 0;
if(time() > $_SESSION['expire']){
	session_destroy();
	header("location:login.html");
}

$_SESSION['expire'] = time()+1*60;




?>


<div align="right">

<form method="post" action="logout.php">
<input type="submit"  value="Logout" align="right">
</form>
</div>