Hi all, today I found that webserver processes on packman were having some problems. Short version: This forced me to do a reboot and while I was on it I upgraded kernel and now the server does not boot. It may take some hours until I get a remote console to debug this. But I guess it well be up again during next few hours. -Marc