Ver originalsession_set_cookie_params(0);ini_set("session.gc_maxlifetime","10");session_start(); if(!isset($_SESSION['usuario'])){ header("Location: index.php");}