Hi Huib,

Is it possible to make BaseX generate logs in JSON format?

You can convert BaseX logs to JSON as follows (just an example):

let $day := '2022-11-28' let $entries := admin:logs($day, true()) let $result := array { for $entry in $entries return map:merge(( $entry/@* ! map:entry(name(), data()), map:entry('message', data($entry)) )) } return json:serialize($result)

…yields something like…

[ { "message": "bla", "user": "admin", "time": "13:18:01.982", "address": "SERVER", "type": "INFO" } ]

There is currently no way to choose different log output formats, as too many BaseX features rely on our standard format.

Hope this helps, Christian