On Tue, Jun 16, 2009 at 03:08:33PM +0200, Nick Piggin wrote:> Thanks. Is it rebooted? It would be interesting to know what other> CPUs are doing (and even what other tasks are doing) if it is> still up.It was rebooted, sorry.