Der Shellserver kudu (shell.in-berlin.de) musste aufgrund von hängenden Prozessen rebootet werden. Die nach außen erreichbaren Userdienste (wie z. B. Web) sind davon nicht betroffen.