<?php

session_start();
$varsessionvigilancia = $_SESSION['cedula'];
if($varsessionvigilancia == null || $varsessionvigilancia == '')
{
	header("location: http://www.asjudinet.com" );
	echo "<script>alert('Usted no tiene autorizacion, Por favor Inicie Sesion');</script>";
	//echo '<meta http-equiv="refresh" content="30; ,URL=http://www.asjudinet.com">';
       die();
}
//$nom = $_GET["nom"]; 
//$ced = $_GET["ced"];
//$cargo = $_GET["cargo"];
//$cargo = base64_encode($cargo);



//PRUEBAS
/*

session_start();

$ced = $_SESSION["cedula"];
$nom = $_SESSION["nombre"];
$tiempo = $_SESSION["tiempo"];

$CEDCOOKIE = $_COOKIE["cedcookie"];
$NOMCOOKIE = $_COOKIE["nomcookie"];

//Comprobamos si esta definida la sesión 'tiempo'.
if(isset($_SESSION['tiempo']) ) {

    //Tiempo en segundos para dar vida a la sesión.
    $inactivo = 300;//20min en este caso.

    //Calculamos tiempo de vida inactivo.
    $vida_session = time() - $_SESSION['tiempo'];

        //Compraración para redirigir página, si la vida de sesión sea mayor a el tiempo insertado en inactivo.
        if($vida_session > $inactivo)
        {
            //Removemos sesión.
            session_unset();
            //Destruimos sesión.
            session_destroy();              
            //Redirigimos pagina.
			echo "<script>window.location.href='cerrar_sesion.php?ced=$CEDCOOKIE&inactividad=1';</script>";
            //header("Location: www.asjudinet.com");

            exit();
        }
} else {
    //Activamos sesion tiempo.
    $_SESSION['tiempo'] = time();
}
*/
///FINALL

/*
if(!empty($_GET['namecookie'])){
	setcookie('namecookie','',time()-100);
	echo 'cookie borrada<br>';
}

$nombre = '';
if(empty($_COOKIE['namecookie'])){
	if(empty($_GET['nom'])){
		echo '<form action = "'.$_SERVER['PHP_SELF'].'" method="get">';
		echo 'Nombre: <input type="text" name="namecookie" /><br>';
		echo '<input type="submit" value="enviar" /><br>';
	}
	else{
		setcookie('nombre', $_GET['namecookie'], time()+60);
		$nombre = $_GET['nom'];
	}
}
else{
	$nombre = $_COOKIE['namecookie'];
}

echo "Hola ".$nombre."<br>";
echo "<br>";

*/
?>