<head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <title>RENNAB</title> <link rel="stylesheet" href="http://maxcdn.bootstrapcdn.com/bootstrap/3.3.5/css/bootstrap.min.css"> </head> <?php // #################### PARA USAR INFO DE SESION #################### session_start(); // #################### LIBRERIAS #################### require_once 'functions.php'; // #################### DECLARACION BASES DE DATOS #################### $dbhost = "localhost"; $dbname = "test"; $mongo = new MongoClient("mongodb://{$dbhost}"); $dbm = $mongo->{$dbname}; try { $dbp = new PDO("pgsql:dbname=grupo5;host=localhost;port=5432;user=grupo5;password=gruponico"); } catch (PDOException $e) { echo $e->getMessage(); } // #################### VARIABLES #################### $username = isset($_SESSION['username']) ? $_SESSION['username'] : ""; $arrayEsUsuario = verificarUsuario($username); $esAdmin = $arrayEsUsuario[0]; $esAlumno = $arrayEsUsuario[1]; $esAlumnoIntercambio = $arrayEsUsuario[2]; $esProfesor = $arrayEsUsuario[3];
//Es posible que el usuario logueado no exista porque un administrador lo ha eliminado. //Si esto fuese así, la aplicación igualmente deja pasar al usuario logueado. Para evitarlo //tendremos que comprobar que el usuario logueado actualmente exista. Si no es así, //destruiremos su sesión y se pedirá login. Además, se informará del error en la vista. if (isset($_SESSION["usuario"]) && !existeUsuario($_SESSION["usuario"])) { session_destroy(); unset($_SESSION); $error_login = "******"; } //Si no hay ningún usuario dado en la sesión actual, lo pedimos. if (!isset($_SESSION["usuario"])) { if (!$_POST || !isset($_POST["usuario"]) || !isset($_POST["pass"])) { include VIEW_PATH . "login.html"; } else { //LOGIN $tipousuario = verificarUsuario($_POST["usuario"], $_POST["pass"]); if ($tipousuario) { $_SESSION["usuario"] = $_POST["usuario"]; $_SESSION["tipousuario"] = $tipousuario; $_SESSION["login_date"] = date("d/m/Y"); //Se usará para saber qué día se logueó el usuario. $_SESSION["login_time"] = date("H:i:s"); //Se usará pasa saber a qué hora se logueó el usuario. } else { $error_login = "******"; include VIEW_PATH . "login.html"; } } } //Si estamos en una sesión válida podremos entrar a la aplicación. if (isset($_SESSION["usuario"])) {