parameters: (self)
docstring: Kills the process, including its children.
docstring_summary: Kills the process, including its children.
docstring_tokens: Kills the process including its children .
function: def kill(self):
          """Kills the process, including its children."""
          # Since os.setsid() and os.killpg() are not available on Windows, we
          # have to do this differently. More specifically, we do this by calling
          # taskkill, which also kills the process' children.
          #
          # This solution is based on
          # http://mackeblog.blogspot.cz/2012/05/killing-subprocesses-on-windows-in.html
          cmd = ['taskkill', '/F', '/T', '/PID', str(self.pid)]
          subprocess.call(cmd, stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
function_tokens: def kill ( self ) : # Since os.setsid() and os.killpg() are not available on Windows, we # have to do this differently. More specifically, we do this by calling # taskkill, which also kills the process' children. # # This solution is based on # http://mackeblog.blogspot.cz/2012/05/killing-subprocesses-on-windows-in.html cmd = [ 'taskkill' , '/F' , '/T' , '/PID' , str ( self . pid ) ] subprocess . call ( cmd , stdout = subprocess . DEVNULL , stderr = subprocess . DEVNULL )