High: Tools: Make pingd functional on Linux
Previous version only worked on Darwin and did not correctly handle
redirects and dead hosts
Mercurial revision: 0394e1ff151ec909dbc5ffaaa0cfad6550340dc0
Description
Description
Details
Details
- Provenance
Andrew Beekhof <andrew@beekhof.net> Authored on Oct 6 2008, 8:23 AM - Parents
- rP4bd856be9595: Low: Build: Another helper target - this time for weekly reports
- Branches
- Unknown
- Tags