On Sun, Jun 08, 2025 at 09:36:56AM +0200, Grégory Vanuxem wrote:
> Hello,
>
> Googling "fricas wiki" without double quotes returns first the
> Wikipedia page and in second:
>
>
https://wiki.fricas.org
>
> Which is not accessible today for me:
>
> Proxy Error
>
> The proxy server received an invalid response from an upstream server.
> The proxy server could not handle the request
>
> Reason: Error reading from remote server
Yes, it died. Wiki server is dying from time to time. It seems
that Linux OOM killer is involved. I tried to adjust parameters
to prevent this from happening, but apparently it did not help.
--
Waldek Hebisch