diff options
author | Eric Wong <e@80x24.org> | 2021-01-10 12:15:14 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-01-12 03:51:42 +0000 |
commit | a1e00c6bca403ffea74a5e169fa0d2f715c69051 (patch) | |
tree | 23e66c568af96285289eba80301a9f6f50763271 /script | |
parent | 4e54b398ad511e5177ae2cc2243eba9408f840a8 (diff) | |
download | public-inbox-a1e00c6bca403ffea74a5e169fa0d2f715c69051.tar.gz |
Relying on signal handlers to kill a particular worker was a laggy/racy idea and I gave up on the idea of targetting workers explicitly and instead chose to make wq_worker_decr stop the next idle worker ->wq_exit. We will however attempt to support sending signals to a process group.
Diffstat (limited to 'script')
0 files changed, 0 insertions, 0 deletions