diff options
| author | Přemysl Eric Janouch <p@janouch.name> | 2020-11-01 15:32:39 +0100 |
|---|---|---|
| committer | Přemysl Eric Janouch <p@janouch.name> | 2020-11-01 15:33:16 +0100 |
| commit | d05c85833d09e9b7da6c264c2ae66b30d0d6c882 (patch) | |
| tree | 090151a2154a8abfe279018245f0c184cb975f72 /kike-extract-messages.sh | |
| parent | 2336340ad85be662d7b23118fd7c6d216413c757 (diff) | |
| download | xK-d05c85833d09e9b7da6c264c2ae66b30d0d6c882.tar.gz xK-d05c85833d09e9b7da6c264c2ae66b30d0d6c882.tar.xz xK-d05c85833d09e9b7da6c264c2ae66b30d0d6c882.zip | |
degesch: make a second SIGINT force-quit
Also fixed the possibility of eating a sequence of signals
as we reset the indicators /after/ we took action,
which creates a time window for races.
Diffstat (limited to 'kike-extract-messages.sh')
0 files changed, 0 insertions, 0 deletions