Bug #12574: Documented void session_end() doesn't exist
| From: | nick at macaw dot demon dot co dot uk | Date: | Sun, 05 Aug 2001 09:37:08 +0000 |
| Subject: | Bug #12574: Documented void session_end() doesn't exist | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-62126@lists.php.net to get a copy of this message | ||
From: nick@macaw.demon.co.uk
Operating system: Linux
PHP version: 4.0.6
PHP Bug Type: Session related
Bug description: Documented void session_end() doesn't exist
The manual states:
"Description
void session_end ()
End the current session and store session data."
Calling gives:
Fatal error: Call to undefined function: session_end() in
--
Edit bug report at: http://bugs.php.net/?id=12574&edit=1