Server updates on 2017sep20 were successful

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

It took slightly longer (less than 15 minutes) than expected to bring coxeter back up.