示例#1
0
 /**
  * Terminate give session unconditionally.
  * @param string $sid
  */
 public static function kill_session($sid)
 {
     global $DB;
     self::load_handler();
     if ($sid === session_id()) {
         self::write_close();
     }
     self::$handler->kill_session($sid);
     $DB->delete_records('sessions', array('sid' => $sid));
 }