<?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";
$dept = $_SESSION['dept']; 
$name = $_SESSION['name']; 
//if(isset($_SESSION['dept']) && isset($_SESSION['semester'])){
//	$dept = $_SESSION['dept'];
//	$sem = $_SESSION['semester'];
//	$degree= $_SESSION['degree'];
//	$avail = $_SESSION['avail'];
//	$summeravail = $_SESSION['summeravail'];
//	$summer = $_SESSION['summer'];
//	$summerdegree = $_SESSION['summerdegree'];
//}
$id = $_SESSION['key'];
echo "<div align='right'>";
echo "Welcome ".$r." !!  ";

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

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




?>


<div align="right">

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