Re: PHP 4.0 Bug #5231 Updated: session_destroy() doesn't.
| From: | Chris Adams | Date: | Tue, 27 Jun 2000 17:43:21 +0000 |
| Subject: | Re: PHP 4.0 Bug #5231 Updated: session_destroy() doesn't. | ||
| References: | 1 2 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-22514@lists.php.net to get a copy of this message | ||
> > Reported By: chris-php-bugs@digitaria.com
> > Status: Closed
> > Bug Type: Session related
> > Assigned To:
> > Comments:
> >
> > session_destroy destroys session data, not session itself.
> > That's what manual says.
> > Also, session_destoy is void, so how would you expect it to return anything?
>
> Please read the actual report. session_destroy() does not destroy the session data - that was
> the
> entire point of the report. If you do not delete the data manually, it remains marked a valid
> session and the user will be able to continue using the session exactly as before.
This is a bug in the default files handler. Writing your own handler allows old sessions to be
reliably deleted.