These two servers will be taken down on Friday, October 15th to fix a problem with the RAID controller. The downtime should be less than 1hr. Web150 will be taken down at 0700UTC while Web111 will be taken down at 0730UTC.

[08:10 UTC] Update: Web111 has been rebooted, RAID disk is rebuilding. The server is accepting network requests.

[08:10 UTC] Update: Web150 has been rebooted, RAID disk is rebuilding. The server is accepting network requests.

[08:16 UTC] Update: the work is now complete and the servers are back to normal.