original_string: public function destroySession()
      {
          if ($this->_is_session_initialized) {
              $_SESSION = array();
              if (isset($_COOKIE[$this->name])) {
                  setcookie($this->name/*session_name()*/, '', time() - 42000, '/');
              }
              session_destroy();
              $this->_is_session_initialized = false;
          }
      }
code: public function destroySession()
      {
          if ($this->_is_session_initialized) {
              $_SESSION = array();
              if (isset($_COOKIE[$this->name])) {
                  setcookie($this->name/*session_name()*/, '', time() - 42000, '/');
              }
              session_destroy();
              $this->_is_session_initialized = false;
          }
      }
code_tokens: public function destroySession ( ) { if ( $ this -> _is_session_initialized ) { $ _SESSION = array ( ) ; if ( isset ( $ _COOKIE [ $ this -> name ] ) ) { setcookie ( $ this -> name /*session_name()*/ , '' , time ( ) - 42000 , '/' ) ; } session_destroy ( ) ; $ this -> _is_session_initialized = false ; } }
docstring: Completely destroy existing session.
docstring_tokens: Completely destroy existing session .