search

ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
GNU Lesser General Public License v2.1
17 stars 2 forks source link

UTF-8 headers #140

Closed etiennecallies closed 3 years ago

etiennecallies commented 3 years ago

legacy PREPROD

https://linearon.modusponens.dev/ should work (version deployed before switch to opium)

Content-Encoding: gzip
Content-Type: text/html; charset=utf-8
Transfer-Encoding: chunked

PREPROD

https://ccll.linear-logic.org/ currently deployed with this branch may work if this PR fixes the issue. @lionelvaux do you confirm?

Content-Encoding: gzip
Content-Length: 4795
Content-Type: text/html; charset=utf-8
Vary: Accept-Encoding

PROD

https://click-and-collect.linear-logic.org/ should not work

Content-Encoding: gzip
Content-Length: 4795
Content-Type: text/html
Vary: Accept-Encoding
lionelvaux commented 3 years ago

I confirm the encoding issue shows only on PROD

etiennecallies commented 3 years ago

Cool thanks for checking @lionelvaux