2 calls to drupal_session_destroy_uid()

user_delete_multiple in modules/user/user.module: Delete multiple user accounts.
user_save in modules/user/user.module: Save changes to a user account or add a new user.

Buggy or inaccurate documentation? Please file an issue. Need support? Need help programming? Connect with the Drupal community.