Revision c7e86f93 mininet/cli.py

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