original_string: public function destroy($session_id = null)
      {
          @session_unset();
          if ($session_id === null) {
              $session_id = $this->getId();
          }
          return $this->cache->delete($this->prefix.$session_id);
      }
code: public function destroy($session_id = null)
      {
          @session_unset();
          if ($session_id === null) {
              $session_id = $this->getId();
          }
          return $this->cache->delete($this->prefix.$session_id);
      }
code_tokens: public function destroy ( $ session_id = null ) { @ session_unset ( ) ; if ( $ session_id === null ) { $ session_id = $ this -> getId ( ) ; } return $ this -> cache -> delete ( $ this -> prefix . $ session_id ) ; }
docstring: Destroyes the session
docstring_tokens: Destroyes the session