forked from JuliaLang/julia
-
Notifications
You must be signed in to change notification settings - Fork 0
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
1 parent
95bc5dc
commit 815565f
Showing
2 changed files
with
43 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters