Sven Drescher 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 :
        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 mailing list