function drupal_session_destroy_uid

Ends a specific user's session(s).

Parameters

$uid: User ID.

2 calls to drupal_session_destroy_uid()

user_delete_multiple in drupal-7.x/modules/user/user.module

Delete multiple user accounts.

user_save in drupal-7.x/modules/user/user.module

Save changes to a user account or add a new user.

Archivo

drupal-7.x/includes/session.inc, line 477

User session handling functions.

Código

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