Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Quick fix for the reporters issue #263
This really is more of a workaround rather then proper fix. Dredd needs to refactor and rework of the language hooks handling, especially graceful stopping as `SIGKILL` is definitely not the way to go.
- Loading branch information