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