PHP session_kill函数代码示例

function is_session_alive($session_id, $no_ka = 0)
{
    global $version, $client_db;
    $session = values("SELECT alive FROM `" . $client_db . "`.`sessions` WHERE alive=1 AND session_id = '" . mysql_escape_string($session_id) . "' AND sess_expire > NOW()");
    if (count($session) > 0) {
        if ($no_ka == 0) {
            keep_alive($session_id);
        }
        return 1;
    } else {
        session_kill($session_id);
        return 0;
    }
}

 /**
  * Destroy session handler
  *
  * {@see http://php.net/manual/en/function.session-set-save-handler.php}
  *
  * @param string $sid
  * @return bool success
  */
 public function handler_destroy($sid)
 {
     session_kill($sid);
     if (isset($this->record->id) and $this->record->sid === $sid) {
         try {
             $this->database->release_session_lock($this->record->id);
         } catch (Exception $ex) {
             // ignore problems
         }
         $this->record = null;
     }
     $this->lasthash = null;
     return true;
 }

 /**
  * To delete a host, we must delete all current sessions that users from
  * that host are currently engaged in.
  *
  * @param   string  $sessionidarray   An array of session hashes
  * @return  bool                      True on success
  */
 function end_local_sessions(&$sessionArray)
 {
     global $CFG;
     if (is_array($sessionArray)) {
         while ($session = array_pop($sessionArray)) {
             session_kill($session->session_id);
         }
         return true;
     }
     return false;
 }

<?php

/*
 Copyright (C) 2003 
 Alberto Alcocer Medina-Mora
 root@b3co.com

 This program is free software; you can redistribute it and/or
 modify it under the terms of the GNU General Public License
 as published by the Free Software Foundation; either version 2
 of the License, or (at your option) any later version.

 This program is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.

 You should have received a copy of the GNU General Public License
 along with this program; if not, write to the Free Software
 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
*/
define("BADGER_ROOT", "../..");
include BADGER_ROOT . "/core/SessionManager/session.ses.php";
if ($_GET['f'] == 1) {
    session_flush();
} else {
    session_kill();
}
header("Location: SessionManagerTest.php");
require_once BADGER_ROOT . "/includes/fileFooter.php";

 public function handler_destroy($sid)
 {
     session_kill($sid);
     if (isset($this->record->id) and $this->record->sid === $sid) {
         $this->database->release_session_lock($this->record->id);
         $this->record = null;
     }
     return true;
 }

function session_flush()
{
    global $sess, $_db_table, $_db_table_config;
    session_kill();
    $sql = "delete from {$_db_table} where sid ='{$sess}';";
    query($sql);
    $sql = "delete from {$_db_table_config} where sid = '{$sess}'";
    query($sql);
    return mysql_error() != "" ? false : true;
}

function session_unsetVariable($var)
{
    if (isset($_SESSION)) {
        unset($_SESSION[$var]);
        if (!count($_SESSION)) {
            // Note that this will prevent us from creating another session this same request.
            // This does not seem to cause a problem at the moment.
            session_kill();
        }
    }
}