Exemple #1
0
<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"])) {