public SessionManagerInterface::delete($uid)
Ends a specific user's session(s).
int $uid: User ID.
public function delete($uid);
© 2001–2016 by the original authors
Licensed under the GNU General Public License, version 2 and later.
Drupal is a registered trademark of Dries Buytaert.
https://api.drupal.org/api/drupal/core!lib!Drupal!Core!Session!SessionManagerInterface.php/function/SessionManagerInterface::delete/8.1.x