original_string: final public function destroy($id = "")
      {
  
          $id = !empty($id) ? $id : $this->getId();
          $now = time();
  
          if (empty($id)) {
              return false;
          }
  
          setcookie(session_name(), '', $now - 42000, '/');
  
          if (session_id()) {
              @session_unset();
              @session_destroy();
          }
  
          //Delete from db;
          //Do a garbage collection
          $this->gc($id);
      }
code: final public function destroy($id = "")
      {
  
          $id = !empty($id) ? $id : $this->getId();
          $now = time();
  
          if (empty($id)) {
              return false;
          }
  
          setcookie(session_name(), '', $now - 42000, '/');
  
          if (session_id()) {
              @session_unset();
              @session_destroy();
          }
  
          //Delete from db;
          //Do a garbage collection
          $this->gc($id);
      }
code_tokens: final public function destroy ( $ id = "" ) { $ id = ! empty ( $ id ) ? $ id : $ this -> getId ( ) ; $ now = time ( ) ; if ( empty ( $ id ) ) { return false ; } setcookie ( session_name ( ) , '' , $ now - 42000 , '/' ) ; if ( session_id ( ) ) { @ session_unset ( ) ; @ session_destroy ( ) ; } //Delete from db; //Do a garbage collection $ this -> gc ( $ id ) ; }
docstring: Destroys a redundant session
  
  @param type $id
  @param type $restart
docstring_tokens: Destroys a redundant session