Server updates on 2018may16 were successful

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