Re: PHP 4.0 Bug #7235: session_destroy() still does notunlink session object
| From: | Phil Driscoll | Date: | Mon, 16 Oct 2000 17:38:08 +0000 |
| Subject: | Re: PHP 4.0 Bug #7235: session_destroy() still does notunlink session object | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-35163@lists.php.net to get a copy of this message | ||
> We can evaluate adding a workaround, if someone verifies that
> Windows is unable to unlink a file which is still opened by a
> process
It is certainly my experience that windows is unable to unlink files which
another process is holding open.
Cheers
--
Phil Driscoll
Dial Solutions
+44 (0)113 294 5112
http://www.dialsolutions.com
http://www.dtonline.org