Revision 2200d8d1 mininet/node.py

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