The Coral server will be rebooted at noon today by ECN so they can install the latest RedHat kernel. It should only be down for 5 minutes. You will need to restart your Coral session after the reboot. Thanks