server: assume PID is dead on ESRCH