Sven.Drescher at dlr.de
Thu Jun 24 01:49:46 EDT 1999
Michael Hudson wrote:
> 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!The parameter '9' does the job! I know, signals are my problem.
More information about the Python-list