<?php
session_start();
if(!isset($_SESSION['key'])){
header("location:login.html");
}
if(isset($_SESSION['dept'])){
        $truncated = $_SESSION['dept'];
}

$s=$_SESSION['key'];
//$r=$_SESSION['no'];
echo "<div align='right'>";
echo "Welcome ".$s." !!  ";
$s6 = "https://172.31.1.38/elective/syllabus/";


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

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




?>


<div align="right">

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