function checkUser()

function checkUser()
{
// if the session id is not set, redirect to login page
if (!isset($_SESSION['login'])) {
redirect("index.php");
exit();
}

}