Re: exit status 0 after SIGINT

[Martijn Dekker <martijn@xxxxxxxx>]

Op 25-09-17 om 14:57 schreef Peter Stephenson:
> We ignore interrupts that happened in bulltins, in this case the "kill"
> that just got interrupted.  This looks pretty clearly wrong.
> 
> One minimal fix is to keep the current lastval if there's an interrupt
> flagged.  Alternatively, we could keep the builtin status if it was
> non-zero.
> 
> I doubt we're going to track down side effects without trying it out.

An oddity remains:

% kill -s INT $$ || echo oops
% echo $?
1
% kill -s INT $$ && echo oops
% echo $?
130

Both should be 130.

This is the same when using external 'kill' (e.g. after 'disable kill').

Thanks,

- M.