More defensive process killing. Closes #2629.
parent
638077181a
commit
5cd8a7bbcc
1 changed files with 7 additions and 1 deletions
Loading…
Reference in new issue