(PHP 5 >= 5.4.0)
SessionHandler::destroy — Destruir una sesión
$session_id
)
Destruye una sesión. Es llamado internamente por PHP con session_regenerate_id() (se asume
que $destory
está establecido a TRUE
, mediante session_destroy() o cuando
session_decode() falla.
Este método envuelve el gestor de almacenamiento interno de PHP definido en el ajuste ini session.save_handler que fue establecido antes de que este gestor fuese establecido mediante session_set_save_handler().
Si esta clase se extiende por herencia, al llamar al método padre destroy
invocará a la
envoltura para este método y así invocará a la llamada de retorno interna asociada. Esto permite que este método sea
sobrescrito y/o interceptado y filtrado.
Para más información sobre lo que se espera que haga este método, consulte la documentación de SessionHandlerInterface::destroy().
session_id
El ID de sesión a ser destruido.
El valor devuelto (normalmente TRUE
en caso de éxito, FALSE
en caso de error). Observe que este valor es devuelto internamente a PHP para procesamiento.