Changes

|Enables the Jetty provides a [https://www.eclipse.org/jetty/documentation/current/gzip-filter.html GZIP Gzip handler] in Jetty, which will for dynamically uncompress uncompressing requests and compress compressing responses. This feature can be enabled if Jetty is started via the [[Web Application|BaseX HTTP Server]]:* The option can also be enabled on [[Command-Line Options#HTTP Server|command line]] via <code>-g</code>.* It cannot be assigned via the {{Code|web.xml}} file, as it will be evaluated before the configuration files are parsed.* The [https://github.com/eclipse/jetty.project/blob/7cc552013eb4d05cb603ba0bc85d176c97957cd4/jetty-server/src/main/java/org/eclipse/jetty/server/handler/gzip/GzipHandler.java#L187-L211 sane defaults] of Jetty the web server will be applied (support for GET requests, exclusion of binaries, MSIE 6.0, etc.).* The option cannot be assigned via the {{Code|web.xml}} file, as it will be evaluated before the configuration files are parsed.* The option can also be changed on [[Command-Line Options#HTTP Server|command line]] via <code>-g</code>.

* Added: {{Option|WITHDB}}, {{Option|GZIP}}