Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
π IMPROVE: CTRL-C on running process (#4771)
Do not call `kill` on a process that is already being killed. Also log a different message, so that the user can see that the original CTRL-C was actioned.
- Loading branch information