Use of common_session_SessionManager instead of a plain old session_destroy() call.