Comment 19 for bug 576352

Apologies. Ignore my last comment. It happened again after several hours of use. Same symptoms as before. I could ping the machine for a while, but using ssh to get a remote login didn't work. After some minutes the host was unreachable.