Re: [BUG] Bash not reacting to Ctrl-C

[Ingo Molnar]

* Chet Ramey <chet.ramey@case.edu> wrote:

> > So the above trace is one that my patch would have handled correctly
> > (since it has no EINTR). Maybe a combination of the two approaches
> > would work even better?
> 
> I installed what is essentially the union of your changes and mine.  Thanks
> for everyone's help with this.

Thanks! Mind attaching the final patch to this thread, so that people can try 
out 
and test the patch you mean?

Thanks,

        Ingo