(PHP 5 >= 5.4.0)
SessionHandler::destroy — Détruit une session
$session_id
)
Détruit une session. Cette fonction est appelée en interne par PHP au moyen de
session_regenerate_id() (en supposant que $destory est
mis à TRUE) session_destroy() ou lorsque la fonction
session_decode() échoue.
Cette méthode se substitut au gestionnaire interne de sauvegarde de PHP défini via l'option de configuration session.save_handler qui a été définie avant celui défini via la fonction session_set_save_handler().
Si cette classe est étendue, appeler la méthode parente destroy invoquera
le gestionnaire de cette méthode et donc la fonction interne à PHP.
Pour plus d'informations sur l'attendu de cette méthode, référez-vous à la documentation de la fonction SessionHandlerInterface::destroy().
session_id
L'ID de la session à détruire.
La valeur retournée (habituellement TRUE en cas de succès, FALSE si une erreur survient).
Notez que cette valeur est retournée en interne à PHP pour analyse.