Michael Hudson mwh21 at cam.ac.uk
Wed Jun 23 13:41:07 EDT 1999

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?


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

More information about the Python-list mailing list