Anyone else loose power just then (last 15 mins or so)? We were down for around five minutes, and I'm curious about how wide-spread it may have been. The UPS here died a while ago, and won't be replaced :-( so all our servers ended up being powercycled - what fun! Nobody badly affected? Craig Ringer