?php / / Initialize the session. / / If you are using session_name( "something"), don't forget it now! session_start(); / / Unset all of the session variables. $_SESSION = array(); / / Finally, destroy the session. session_destroy();?
?php / / Initialisation de la session. / / Si vous utilisez un autre nom / / session_name( "something") session_start(); / / D eacute;truit toutes les variables de session $_SESSION = array(); / / Finalement, d eacute;truit la session session_destroy();?