Server updates and reboots

We had a couple of minor outages today due to OS upgrades and a reboot for a new kernel version, and to patch ejabberd to fix an offline subscription bug.