[MOD] RESTXQERRORS: Redirection of error output. Closes #2372

BaseXdb · Jan 31, 2025 · 3b5e80e · 3b5e80e
1 parent 3c660b5
commit 3b5e80e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/basex-api/src/main/java/org/basex/http/web/WebModule.java b/basex-api/src/main/java/org/basex/http/web/WebModule.java
@@ -10,6 +10,7 @@
 import org.basex.query.*;
 import org.basex.query.func.*;
 import org.basex.util.*;
+import org.basex.util.log.*;
 
 /**
  * This class caches information on a single XQuery module with relevant annotations.
@@ -69,6 +70,7 @@ void parse(final Context ctx) throws QueryException, IOException {
     } catch(final QueryException ex) {
       if(ctx.soptions.get(StaticOptions.RESTXQERRORS)) throw ex;
       // ignore modules that cannot be parsed
+      ctx.log.writeServer(LogType.ERROR, Util.message(ex));
       Util.debug(ex);
     }
   }