It looks like we had a server restart to install some OS updates on those machines. It sounds like we might have another restart overnight tonight, although I think this time we might actually get some sort of notice posted if it's going to happen.
EDIT/Update: Ah, sounds like we probably won't be scheduling another one this week.