IcedTea server rebooted

[mark at klomp.org]

Hi all,

Something bad happened to the main IcedTea server.
It seemed to have been running out of kernel memory, but didn't leave
much log info around. Being on vacation on an island with not very
stable internet access, all I could really do was just reboot the machine.
It seems to have stabilized and no data was lost as far as I can see.
Please yell and scream if you think anything is still broken/missing,
we have backups of everything from about 6 hours ago.

Sorry for the inconvenience,

Mark