original_string: protected function unlock_session($id) {
          if (isset($this->locks[$id])) {
              $this->connection->del($id.".lock");
              unset($this->locks[$id]);
          }
      }
code: protected function unlock_session($id) {
          if (isset($this->locks[$id])) {
              $this->connection->del($id.".lock");
              unset($this->locks[$id]);
          }
      }
code_tokens: protected function unlock_session ( $ id ) { if ( isset ( $ this -> locks [ $ id ] ) ) { $ this -> connection -> del ( $ id . ".lock" ) ; unset ( $ this -> locks [ $ id ] ) ; } }
docstring: Unlock a session.
  
  @param string $id Session id to be unlocked.
docstring_tokens: Unlock a session .