Strange behaviour when sending SIGTERM to bash

[Martin Schulte]

Hello,

I'm running bash under Debian Stretch:

$ echo $BASH_VERSION 
4.4.12(1)-release
$ trap
$ echo $$
1100
$ kill 1100
$ 

=> Looks fine for me

Then I do a

kill 1100

from another session and the bash above terminates.

=> Looks wrong for me

Greetings,

Martin