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:


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:

PHP Development Mailing List <>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to