Merge pull request #372 from Edirom/fix-getPreferencesURI

add fallback for missing user-prefs
Edirom · Apr 15, 2024 · 28d5e8b · 28d5e8b
2 parents f613eb7 + 5b7a340
commit 28d5e8b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/add/data/xqm/edition.xqm b/add/data/xqm/edition.xqm
@@ -125,7 +125,9 @@ declare function edition:getLanguageCodesSorted($uri as xs:string) as xs:string
  :)
 declare function edition:getPreferencesURI($uri as xs:string) as xs:string {
 
-    doc($uri)//edirom:preferences/@xlink:href => string()
+    if(doc($uri)//edirom:preferences/@xlink:href => string()) then(
+        doc($uri)//edirom:preferences/@xlink:href => string()
+    ) else ('../prefs/edirom-prefs.xml')
 };
 
 (:~