function comp_tiempo() { @session_start(); if (isset($_SESSION['life'])) { $vida_sesion = time() - $_SESSION['life']; if ($vida_sesion > 900) { destruir_sesion(); return true; //sesión finalizada } else { return false; //sesion activa } } else { return false; //no existe life } }
<?php include "../control/connection.php"; include "../control/security.php"; if (destruir_sesion()) { header("Location: ../panel/login.php"); }