Quindi x fare eseguire il logout non basta fare così?
Codice PHP:
session_start();session_destroy(); //destroy the session 
Ci vuole anche unset($_SESSION)?