Server updates on 2014jul30 were successful

The departmental servers are working fine after the updates.