Re: PHP 4.0 Bug #7235: session_destroy() still does not unlink session object
| From: | Sascha Schumann | Date: | Mon, 16 Oct 2000 10:29:49 +0000 |
| Subject: | Re: PHP 4.0 Bug #7235: session_destroy() still does not unlink session object | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-35160@lists.php.net to get a copy of this message | ||
On 16 Oct 2000 taavi@ibs.ee wrote:
> From: taavi@ibs.ee
> 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