function drupal_session_destroy_uid in Drupal 7

Ends a specific user's session(s).

Parameters

$uid: User ID.

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.

File

includes/session.inc, line 544

User session handling functions.

Code

function drupal_session_destroy_uid($uid) {

  // Nothing to do if we are not allowed to change the session.
  if (!drupal_save_session()) {
    return;
  }
  db_delete('sessions')
    ->condition('uid', $uid)
    ->execute();
}