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