PHP 4.0 Bug #5231: session_destroy() doesn't.
| From: | chris-php-bugs at digitaria dot com | Date: | Mon, 26 Jun 2000 01:05:54 +0000 |
| Subject: | PHP 4.0 Bug #5231: session_destroy() doesn't. | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-22320@lists.php.net to get a copy of this message | ||
From: chris-php-bugs@digitaria.com
Operating system: NT 4.0 SP6a
PHP version: 4.0.0 Release
PHP Bug Type: Session related
Bug description: session_destroy() doesn't.
session_start();
echo '<P> Session ID: ' . session_id() . '</P>';
echo '<P>destroy ' . (session_destroy() ? ' successful' :
'failed') . '</P>';
will always print failed. The temp file will not be removed, the browser will keep the same session
cookie and the session variables will still be available. As far as I can tell, session_destroy() is
a NOP.