Re: delete-process bug

[Richard Stallman]

    > Suppose it comes between there and the call to remove_process?
    > Does the right thing happen in all these cases?

    I think so. In fact, synchronous  process will be said to be dead, but
    as we  are calling at this  moment delete-process, we  are not working
    with any synchronous processes.

Thanks for checking.

Please add a comment explaining why there is no race condition if
SIGCHLD comes in during those lines.