Re: PHP 4.0 Bug #5231 Updated: session_destroy() doesn't.

From: Date: Tue, 27 Jun 2000 20:58:54 +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-22569@lists.php.net to get a copy of this message
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? -- Stanislav Malyshev stas@zend.com +972-3-6139665

« previous php.dev (#22569) next »