diff --git a/mininet/node.py b/mininet/node.py index a5ad2bd7a29c8e6d467794a9f9b92cec36da71cf..997f4f80c0a1df9f22d4fb319cbe8944ba47c878 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -1269,6 +1269,11 @@ def start( self ): ' 1>' + cout + ' 2>' + cout + '&' ) self.execed = False + def stop( self ): + "Stop controller." + self.cmd( 'kill %' + self.command ) + self.terminate() + def IP( self, intf=None ): "Return IP address of the Controller" if self.intfs: