os.kill()

Michael Hudson mwh21 at cam.ac.uk
Wed Jun 23 19:41:07 CEST 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?

os.kill(pid,9)?

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




More information about the Python-list mailing list