function sess_destroy_sid

Called by PHP session handling with the PHP session ID to end a user's session.

Parameters

string $sid: the session id

File

includes/session.inc, line 129

User session handling functions.

Code

function sess_destroy_sid($sid) {
  db_query("DELETE FROM {sessions} WHERE sid = '%s'", $sid);
}