(PHP 5 >= 5.4.0, PHP 7, PHP 8)
SessionHandler::destroy — Détruit une session
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().
idL'ID de la session à détruire.