mwh21 at cam.ac.uk
Wed Jun 23 13:41:07 EDT 1999
Sven Drescher <Sven.Drescher at dlr.de> writes:
> I have any problems to kill a process started with execv().
> The process is right on and the pid is ok. But I tested :
> os.kill(pid, 0)
> or os.kill(pid, 15)
> or os.kill(pid, signal.SIGTERM)
> an nothing happens.
> I looked for my problem in the newgroups and on the python homepage, but
> I haven't found anything.
> I killed my process on console with " kill -9 pid".
> Is there a stronger version of os.kill() like under UNIX?
> Thanks for help and hints!
More information about the Python-list