Change the SyncTex request header about bluelatex HOT 6 CLOSED

It's maybe better to check if the client accepts "gzipped" response.

from bluelatex.

actually the web server automatically gzips the response if you send a request with header Accept-Encoding containing gzip and if the Content-Type can be gzipped. In our case it is a bit different. SyncTeX generates a .gz file which is simply returned as is. I didn't expect your web browser to automatically gunzip it.

If you prefer, I can make the server extract the text file and return it, and let the http server gzip it (again…) if the client send the right Accept-Encoding. But that's a lot of unneeded overhead (gunzip + gzip).
Can't you gunzip directly in js? What woul be your preferred solution? How huge can become the SyncTeX file? I guess for big files, it is really huge, isn't it?

from bluelatex.

Yes SyncTex fiel can be very huge...

talk.setHeader("Content-Encoding", "gzip")
            .setContentType("text/plain")
            .setContentLength(array.length)
            .write(array)

With these lines my browser (firefox, chrome and safari) gunzip correctly the file. It is easy and powerful but it's a hack...

I can gunzip with js but it's slow.

I had also this conversation with @monperrus. We concluded that is not a to bad idea to use the http client to ungzip the file.

from bluelatex.

You don't need to handle it manually, tiscaf (our http server) makes it for you if the browser send the right header. This way it is no hack. What browser don't support gzipped content?

from bluelatex.

I don't remember the status of this ticket. Can it be closed?

from bluelatex.

We can close it.

from bluelatex.