> While the fix is trivial, I'm not really keen to push out an update that has the small chance that hundreds of servers might not come up after their next reboot. Can you document the fix so we can choose to do it? Jason