Skip to content
This repository was archived by the owner on Nov 8, 2024. It is now read-only.

Conversation

@w-vi
Copy link
Contributor

@w-vi w-vi commented Aug 21, 2015

This really is more of a workaround rather than 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.

@w-vi w-vi force-pushed the wvi/reporter-issue-quick-fix branch 2 times, most recently from c3044da to 5210173 Compare August 21, 2015 12:21
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.
@w-vi w-vi force-pushed the wvi/reporter-issue-quick-fix branch from 5210173 to 174acf2 Compare August 21, 2015 12:58
kuba-kubula added a commit that referenced this pull request Aug 21, 2015
@kuba-kubula kuba-kubula merged commit d9034fb into master Aug 21, 2015
@kuba-kubula kuba-kubula deleted the wvi/reporter-issue-quick-fix branch August 21, 2015 13:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants