Yes, it works! 1000 entries of XML in a JSON wrapper from my data are
now transfered as 193 KB instead of 1.6 MB. Not bad. Unfortunately on
localhost that doesn't make much of a difference in overall timing as
measured in Chrome's development tools. For real internet connections I
think this is quite an improvement.

Best regards

Omar Siam

Am 19.11.2019 um 01:28 schrieb Christian Grün:
> The snapshot has been updated.
> Is it working now?
>
>
>
> On Mon, Nov 18, 2019 at 6:41 PM Omar Siam <Omar.Siam@oeaw.ac.at> wrote:
>> I just wanted to try gzip http compression and downloaded the current build BaseX93-20191116. The option is not there anymore. What happened?
>>
>> Best regards
>>
>> Omar Siam