Server updates on 2012oct17 were successful

The departmental servers all appear to be working fine after the updates.