Server updates on 2014feb19 were successful

The departmental servers are working fine after the updates, which finished just before 5pm.