original_string: public function handler_close() {
          if ($this->recordid) {
              try {
                  $this->database->release_session_lock($this->recordid);
              } catch (\Exception $ex) {
                  // Ignore any problems.
              }
          }
          $this->recordid = null;
          $this->lasthash = null;
          return true;
      }
code: public function handler_close() {
          if ($this->recordid) {
              try {
                  $this->database->release_session_lock($this->recordid);
              } catch (\Exception $ex) {
                  // Ignore any problems.
              }
          }
          $this->recordid = null;
          $this->lasthash = null;
          return true;
      }
code_tokens: public function handler_close ( ) { if ( $ this -> recordid ) { try { $ this -> database -> release_session_lock ( $ this -> recordid ) ; } catch ( \ Exception $ ex ) { // Ignore any problems. } } $ this -> recordid = null ; $ this -> lasthash = null ; return true ; }
docstring: Close session handler.
  
  {@see http://php.net/manual/en/function.session-set-save-handler.php}
  
  @return bool success
docstring_tokens: Close session handler .