io aggiungerei alla fine
unset($_SESSION);