Closed
Description
When trying things out locally, it's helpful to be able to kill a worker that's blocked on a task, without having to either run kill -9 {pid}
in a separate shell, or killing the terminal window entirely. Many tools will treat a single SIGINT
as "please exit gracefully" and a follow-on SIGINT
as "please exit and ignore the consequences". Other programs respond to SIGQUIT
(which can often be triggered by pressing ctrl-\
).
Happy to write up a PR for this.
Activity