server/src/app/Repositories/RdfDocumentRepository.php
changeset 169 8fddc113095e
parent 168 17f10b56c079
child 261 02e2396bcbbc
equal deleted inserted replaced
168:17f10b56c079 169:8fddc113095e
    87         );
    87         );
    88         //TODO: return null if not found
    88         //TODO: return null if not found
    89         if($doc->isEmpty()) {
    89         if($doc->isEmpty()) {
    90             return null;
    90             return null;
    91         }
    91         }
       
    92         //print($doc->dump());
    92 
    93 
    93         // clone the graph to force the URI
    94         // clone the graph to force the URI
    94         $DocumentKlass = $short?DocumentResult::class:Document::class;
    95         $DocumentKlass = $short?DocumentResult::class:Document::class;
    95         return new $DocumentKlass($docUri, new Graph($docUri, $doc->toRdfPhp()));
    96         return new $DocumentKlass($docUri, new Graph($docUri, $doc->toRdfPhp()));
    96 
    97