allow different 127. addresses than 127.0.0.1 (fix #315)
Merge pull request #316 from ros/127_addresses

allow different 127. addresses than 127.0.0.1 (fix #315)