Sven.Drescher at dlr.de
Wed Jun 23 08:57:36 CEST 1999
I have any problems to kill a process started with execv().
The process is right on and the pid is ok. But I tested :
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