[PHP-DEV] Re: Bug #5231 Updated: session_destroy() doesn't. From: Chris Adams (chris <email protected>)
Date: 08/03/00

> ID: 5231
> Updated by: hholzgra
> Reported By: chris-php-bugs <email protected>
> Status: Feedback
> Bug Type: Session related
> Assigned To:
> Comments:
>
> definetly works for unix, maybe it's a windows problem?

Quite likely. Since I'm now using my mysql session handler for everything, I
can confirm that the session library is definitely calling the delete
function. In fact, if that library is calling unlink() behind the scenes,
that would explain it as unlink() is a NOP on windows.

> by the way, since July 4th session_destroy()
> will return success status as true or false

Yes. I figured that out but there was a lag with the docs.

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>