Re: [PHP-DEV] PHP 4.0 Bug #7235: session_destroy() still does not unlink session object From: Sascha Schumann (sascha <email protected>)
Date: 10/16/00

On 16 Oct 2000 taavi <email protected> wrote:

> From: taavi <email protected>
> Operating system: Windows2000
> PHP version: 4.0.3pl1
> PHP Bug Type: *Session related
> Bug description: session_destroy() still does not unlink session object
>
> Session_destroy() does not unlink session object.
> Instead I get warning message stating:
> "Session object destruction failed".
>
> There is an open bug report #7055 for ver. 4.0.2 suggesting to add:
> if (data->fd > -1) {
> close(data->fd);
> data->fd = -1;
> }
> before V_UNLINK(buf).
>
> Does it help? If yes, would it be worth to add
> this into next binary release? When?

    We can evaluate adding a workaround, if someone verifies that
    Windows is unable to unlink a file which is still opened by a
    process.

    - Sascha

-- 
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>