12 Aug
2015
12 Aug
'15
4:57 a.m.
Hi Kristian,
Thanks for the hint; the problem is fixed in the latest snapshot [1].
Best, Christian
A side note: Global options may eventually be removed. See the alternative writing:
let $options := map { 'html':false(), 'nodefaults':true() } let $file := "/file/path/filename.html" return db:replace("dbname", "filename.html", html:parse(file:read-text($file), $options) )