original_string: 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));
      }
code: 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));
      }
code_tokens: 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 ) ) ; }
docstring: Terminate give session unconditionally.
  @param string $sid
docstring_tokens: Terminate give session unconditionally .