tree 14b1ef9de9951838c44fc024cd1b5318514fbbd1
parent 947d243d516d070b83c78fa536348d6b1dbab341
author Carmelo Cascone <carmelo@ccascone.net> 1534835148 -0700
committer Carmelo Cascone <carmelo@ccascone.net> 1534835155 -0700

Fixed mn ping command not working with tagged hosts

When using command `mn> hi ping h2`, if h2 was a tagged host, Mininet
was unable of getting the IP address of h2

Change-Id: I4a557b8c81ee1f080edf6b4ebfbf25385eef08f6