Revision 2200d8d1

View differences:

mininet/node.py
184 184
    def terminate( self ):
185 185
        "Send kill signal to Node and clean up after it."
186 186
        if self.shell:
187
            os.kill( self.pid, signal.SIGKILL )
187
            os.killpg( self.pid, signal.SIGKILL )
188 188
        self.cleanup()
189 189

  
190 190
    def stop( self ):

Also available in: Unified diff