list_uri_prefixes: Bugfix

2022-09-21 16:06:58 +02:00 · 2022-09-21 16:06:58 +02:00 · 0872ca1335
commit 0872ca1335
parent 3be5e85ef7
2 changed files with 4 additions and 1 deletions
--- a/internal/component/instances/php/list_uri_prefixes.php
+++ b/internal/component/instances/php/list_uri_prefixes.php
@ -23,6 +23,9 @@ function list_prefixes() {
 }

 function getTriplestorePrefixes($engine, &$prefixes) {
+    // some adapters don't support a query method!
+    if (!method_exists($engine, 'directQuery')) return NULL;
+
    $results = $engine->directQuery('
    select distinct ?base where {
        {