_drupal_session_destroy

function _drupal_session_destroy

_drupal_session_destroy($sid)

Session handler assigned by session_set_save_handler().

Cleans up a specific session.

Parameters

$sid: Session ID.

File

includes/session.inc, line 423
User session handling functions.

Code

function _drupal_session_destroy($sid) {
  global $user, $is_https;

  // Nothing to do if