On February 13th we will be rebooting the following servers for routine kernel updates at various times throughout the day:

  • web40
  • web45
  • web64
  • web66
  • web76
  • web108
  • web110
  • web124
  • web131
  • web135
  • web136
  • web139
  • web141
  • web144
  • web148
  • web149
  • web150
  • web158
  • web185
  • web207
  • web214
  • web216
  • web217
  • web218
  • web219
  • web220
  • web221
  • web223
  • web224
  • web225

Downtime on each server is expected to be less than 20 minutes. We will update this post as maintenance progresses.

2012-02-13 10:00 UTC All servers except web216 are back online. We’re working on bringing web216 back now.
2012-02-13 10:10 UTC Web216 has suffered a hardware failure. The failing components are being replaced.
2012-02-13 10:15 UTC Web216 is back online.