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

[Raphael Mack]

Hi all,

it took some time, but I think we managed to bring back the docs as we
are used to it. The good news is, that it was only an issue with the
memory limit we once set for ETs command executions and with the system
upgrade we recently installed on ETs host eiffeldoc made it fail, but
it did not integrate a new GC-related issue.

Stay tuned and happy,
Rapha

Am Dienstag, dem 10.05.2022 um 22:31 +0200 schrieb 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
> >   
> >  
>