Server updates on 2013nov27 were successful

The departmental servers are working fine after the updates.  coxeter and sphere took somewhat longer to update due to the large number of updates (this was a minor version update to our RHEL distribution).