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 2601

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();
}