Colin,

Yes we did shut down the dev servers that were being affected by the install. The productions servers should have taken an alternate route through the mds which wasn't being rebooted.

thanks.