diff options
author | Hiltjo Posthuma <hiltjo@codemadness.org> | 2018-10-05 20:43:24 +0200 |
---|---|---|
committer | Hiltjo Posthuma <hiltjo@codemadness.org> | 2018-10-05 20:43:24 +0200 |
commit | bb6dd44d8638ccba315973f2c6c66262ef72f1d2 (patch) | |
tree | c97f3eac1242e2b56641ac509b25b315ec9af188 /Makefile | |
parent | 774dc3ed45bc2a1efcddeea2eb885e140949f9eb (diff) |
sfeed_update: improve SIGINT handling
When SIGINT occurs on waiting for jobs it returns 130 (128 + SIGINT). Make sure
to check for interrupted and return immediately.
Tested with ksh, dash, bash, zsh.
Sidenote: ideally we want to cleanup() on SIGTERM too, but this is too
inconsistent over various shells.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions