Get the status of a process

[Gilles Lenfant]

Michael Hudson wrote:

> 
> os.kill(some_pid, 0)?
> 
> You might get EPERM if the process is running, but as a different
> user.
> 
> Cheers,
> mwh
> 

Many thanks. This does the job (raises an OSError when process is dead)

--
Gilles