Re: Issue with documentation at https://doc.liberty-eiffel.org/

[Raphael Mack]

Hi Mischa,

thanks for the notice. The problem is, that "ET" (our automated eiffel tester) is generating the docs on every run from the current HEAD. And since some time (maybe since the last debian upgrade on the server running ET) eiffeldoc fails with n exit code of 137 - which signals an out-of-memory failure.

eiffeldoc runs normally with the BDW-GC enabled but during the last upgrade also libgc was upgraded and maybe we have some issue here.

As next we could try to run eiffeldoc with the SE-GC or dig into the details why we do not see (good enough) memory cleanup with the BDW.

This might not really help, but at least explain the situation.

Rapha

Am Sonntag, dem 08.05.2022 um 22:39 +0200 schrieb Mischa Megens:

Dear liberty-eiffel,

When I try to access the information at https://doc.liberty-eiffel.org/ under 'The core library' (the first bullet point on the page), then I am referred to
https://doc.liberty-eiffel.org/api/libraries/index.html
However, it appears there is no longer an index.html at https://doc.liberty-eiffel.org/api/libraries/


and I end up with a
"Not Found
The requested URL was not found on this server."
What happened?

With kind regards,
Mischa