Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #694 from martinRenou/prevent_failure_remove_kernel
Prevent failure if kernel is not found when shutting it down
- Loading branch information