[RFC 2/2] Change SIGINT handler for extension languages only when target terminal is ours

[Yao Qi]

Pedro Alves <palves@redhat.com> writes:

> This LGTM.
>

Patch is pushed in.

>> Your patch looks good to me.
>
> I'll push it after yours goes in.

Please do that.  Thanks for new test.

-- 
Yao (齐尧)