#1372: Use ps -p instead of kill -0.

The current command (kill -0 $pid) does not seem to work on a
Kubernetes cluster (Onyxia), even though the same container used
for pods works when launched locally.