Jim Basney wrote: > -ps -p $MASTER_PID >/dev/null && fail "exit command failed" > +kill -0 $MASTER_PID >/dev/null 2>&1 && fail "exit command failed" Is "kill -0" standard? (it works on BSD, at least) Otherwise we could use grep -q "$PID" -d