function _user_cancel_session_regenerate

Implements callback_batch_finished().

Finished batch processing callback for cancelling a user account.

See also

user_cancel()

File

modules/user/user.module, line 2599

Code

function _user_cancel_session_regenerate() {
    // Regenerate the users session instead of calling session_destroy() as we
    // want to preserve any messages that might have been set.
    drupal_session_regenerate();
}