Better bulk ping
Hello Michael
I have a need to make gen_icmp:ping/1 a bit more robust and came up with the following changes:
- Include both Hostname and Address in results to be able to associate input and output
- Add option to not deduplicate IP addresses in the list
- Add option to include all IPs associated with given hostname, instead of just one.
Are those changes good enough to be pulled upstream?
Cheers, Gleb