Changes

Jump to navigation Jump to search
79 bytes removed ,  12:54, 8 July 2020
no edit summary
</syntaxhighlight>
* Initial values for global options can also be specified via system properties, which can e.g. be passed on with the [httphttps://docs.oracle.com/javaseen/1.4.2java/docsjavase/tooldocs11/windowstools/java.html#options -D flag] on command line, or using [httphttps://docs.oracle.com/en/java/javase/611/docs/api/java.base/java/lang/System.html#setProperty(java.lang.String,%20javajava.lang.String) System.setProperty()] before creating a BaseX instance. The specified keys need to be prefixed with {{Code|org.basex.}}. An example:
<syntaxhighlight lang="perl">
===GZIP===
 
{{Mark|Introduced with Version 9.3:}}
{| width='100%'
===WITHDB===
 
{{Mark|Introduced with Version 9.3.}}
{| width='100%'
=Changelog=
;Version 9.34
* Added: {{Option|LOGTRACE}}
Bureaucrats, editor, reviewer, Administrators
13,551

edits

Navigation menu