Grunch server will be rebooted Friday 12:00 noon

Grunch server will be rebooted due to kernel update and some other library updates. All users are advised to logout before 12:00 noon.