Revision c7e86f93

View differences:

mininet/cli.py
331 331 
            node = self.mn[ first ]
332 332 
            rest = args.split( ' ' )
333 333 
            # Substitute IP addresses for node names in command
334 
            rest = [ self.mn[ arg ].defaultIntf().updateIP()
334 
            # If updateIP() returns None, then use node name
335 
            rest = [ self.mn[ arg ].defaultIntf().updateIP() or arg
335 336 
                     if arg in self.mn else arg
336 337 
                     for arg in rest ]
337 338 
            rest = ' '.join( rest )

Also available in: Unified diff