5 Jun
2017
5 Jun
'17
5:39 p.m.
Options manually added to the .basex config file are deleted by BaseX. For example, these Create Options all get deleted from the .basex file after running a standalone basex script: ADDARCHIVES = true CREATEFILTER = *.anx STRIPNS = true INTPARSE = true LANGUAGE = Dutch (also tried 'nl') Basex 8.5.3 on Linux Regards, Marc