Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Distributed]
kill(::LocalManager, ...)
should actually call kill()
When dealing with a local process, if we want to remove a process, we can try a little harder than simply calling `remote_do(exit, id)`. We can actually `kill()` the process by sending `SIGTERM`, then `SIGKILL`. Because we use `Distributed` to run our Base test workers, this can provide a more certain method of closing our workers at the end of test sets, as well as a better way of killing processes such that they dump core in the event that they do get stuck.
- Loading branch information