Ver original$_SESSION['id_user'];
Ver originalif(!isset($_SESSION['id_user'])){ $_SESSION['id_user'] = null;}