the maintenance work is done and
lively-kernel.org should be available since 12:10 CEST again.
Interestingly the RAM usage shrank down to 1/8, so maybe we should
consider a reboot more often ;)
On 10/15/2013 01:25 PM, Hubert Hesse wrote:
> Hi all,
> due to maintenance work to the server infrastructure at HPI we plan
> to shut down lively-kernel.org on
> Friday, Sep 18, 8:00 - 12:00 CEST
> Thursday, Sep 17, 11:00 PM - Sep 18, 3:00 AM PDT
> The website is not accessible during the downtime.
> Please report any urgent reasons against this time frame.
> lively-kernel mailing list
> [hidden email]
lively-kernel mailing list