session_unset
    (PHP 4, PHP 5)
session_unset — 
     Libera tutte le variabili di sessione
    
    
   
    Descrizione
     
      void session_unset
       ( void
      )
    
    Nota: 
     
      Se è usata $_SESSION (o
      $HTTP_SESSION_VARS per PHP 4.0.6 o inferiore) è, 
      usate unset() per deregistrare una variabile di
      sessione. i.e. $_SESSION = array();