src/acdhOeaw/fedora/FedoraCache.php
public function reload(FedoraResource $res) {
        if (isset($this->cache[$res->getUri(true)])) {
            $this->delete($res);
        }
        $this->add($res);
    }
public function reload(FedoraResource $res) {
        if (isset($this->cache[$res->getUri(true)])) {
            $this->delete($res);
        }
        $this->add($res);
    }
public function reload ( FedoraResource $ res ) { if ( isset ( $ this -> cache [ $ res -> getUri ( true ) ] ) ) { $ this -> delete ( $ res ) ; } $ this -> add ( $ res ) ; }
Refreshes given resource in cache.
@param FedoraResource $res resource object
Refreshes given resource in cache .