On 12/6/14 7:06 AM, Robert Clausecker wrote:
> Fix the way bash blocks the delivery of signals when it can't
> fork so keyboard interrupts or signals received otherwise still
> have a way to get through. Stop trying to fork after some
> attempts and provide a reasonable emergency code-path for the
> case that bash cannot fork.
Bash already does this. The code in make_child attempts to reap dead
child processes with waitpid() then sleeps for `forksleep' seconds.
forksleep increases from 1 to 16, then bash gives up and the attempt
fails. When I test, it returns to the prompt.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/