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

  • web27
  • web28
  • web30
  • web35
  • web37
  • web41
  • web49
  • web53
  • web60
  • web65
  • web70
  • web72
  • web77
  • web88
  • web95
  • web100
  • web106
  • web114
  • web117
  • web129
  • web146
  • web147
  • web157
  • web166
  • web174
  • web192
  • web193
  • web197
  • web200
  • web205
  • web213

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

2012-02-19 11:10 UTC: All servers except web129 have been rebooted and are back online. We’re investigating the issue with web129.
2012-02-19 13:30 UTC: Web129 is suffering from a hardware fault. We have created a new post specifically for this server.