Server updates on 2013oct23 were successful

The departmental servers are working fine after the updates.