Re: PHP 4.0 Bug #5231 Updated: session_destroy() doesn't.
| From: | Sascha Schumann | Date: | Tue, 27 Jun 2000 20:59:56 +0000 |
| Subject: | Re: PHP 4.0 Bug #5231 Updated: session_destroy() doesn't. | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-22570@lists.php.net to get a copy of this message | ||
On Tue, 27 Jun 2000, Stanislav Malyshev wrote:
> SS>> There is a patch which lets modules report failures during
> SS>> session_destroy. So, the manual is ahead of the code.
>
> Well, it shouldn't be. Undocumented code is no good, but documented
> no-code is worse. What's with the patch, is it waiting for 4.0.1?
Hm, I reviewed that patch and assumed the author had CVS
write access. Maybe he has not. I'll look into integrating
it.
- Sascha