Just to add, I have since gotten around to rebooting the machines and they did come back up, so at least my fix is working.
Just to add, I have since gotten around to rebooting the machines and they did come back up, so at least my fix is working.