Merge ping_hosts.sh from the RELENG_2 branch, this should have happened somewhere in June 2008 but was forgotten about.Do not grep through the config.xml as this takes 3 lifetimes on large XML files.
Merge ping_hosts.sh from the RELENG_2 branch, this should have happened somewhere in June 2008 but was forgotten about.
Do not grep through the config.xml as this takes 3 lifetimes on large XML files.