On June 3rd we will be rebooting the following servers for routine kernel updates between 21:30 and 22:00 UTC:

  • dweb95
  • dweb96
  • dweb97
  • dweb98
  • dweb100
  • dweb101
  • dweb102
  • dweb104
  • dweb105
  • dweb110
  • dweb111
  • web310
  • web312
  • web315
  • web317

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

2012-06-03 21:43 UTC: All servers are now back online and working normally.