On 8/30/24 5:05 AM, Eduardo A. Bustamante López wrote:
On Wed, Aug 28, 2024 at 01:16:57PM +0200, Tycho Kirchner wrote:
Hi,
Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of the
bash instance receiving them. Steps to reproduce:
* Open up a shell SHELL_1 and record its pid
On 8/28/24 7:16 AM, Tycho Kirchner wrote:
Hi,
Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of
the bash instance receiving them. Steps to reproduce:
* Open up a shell SHELL_1 and record its pid, e.g. "echo $$"
* Launch another shell and send rapid SIGINTs: while true ;
On 8/28/24 7:16 AM, Tycho Kirchner wrote:
Hi,
Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of
the bash instance receiving them. Steps to reproduce:
* Open up a shell SHELL_1 and record its pid, e.g. "echo $$"
* Launch another shell and send rapid SIGINTs: while true ;
On Wed, Aug 28, 2024 at 01:16:57PM +0200, Tycho Kirchner wrote:
> Hi,
> Sending rapid SIGINTs from another shell quickly results in a SEGFAULT of the
> bash instance receiving them. Steps to reproduce:
> * Open up a shell SHELL_1 and record its pid, e.g. "echo $$"
> * Launch another shell and send