From: [EMAIL PROTECTED] 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 -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] To contact the list administrators, e-mail: [EMAIL PROTECTED]
