We have a system outage: two of our servers (for the build manager, including the master node) did not come back up after a reboot for kernel updates. Somehow our workstations are much more reliable than the machines with server hardware, even though they even have an RMI. Fabian