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