os.kill()

[Michael Hudson]

Sven Drescher <Sven.Drescher at dlr.de> writes:

> Hi!
> 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?

os.kill(pid,9)?

> 
> Thanks for help and hints!
> 
> --
> Sven