session_start(); if (isset ($_SESSION["title"]) && strcmp($_SESSION["title"],"Identity Group") !=0){ echo "resetto sessione ".$_SESSION["title"]; // Desetta tutte le variabili di sessione. session_unset(); // Infine , distrugge la sessione. session_destroy(); }else {echo "mantengo sessione ".(isset ($_SESSION["title"])?$_SESSION["title"]:" NO SESSION"); } ?>