The wait_process() call now handles EINTR.