Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dredd consistently isn't able to kill the server in this repository #36

Open
honzajavorek opened this issue Jan 31, 2019 · 1 comment
Open

Dredd consistently isn't able to kill the server in this repository #36

honzajavorek opened this issue Jan 31, 2019 · 1 comment

Comments

@honzajavorek
Copy link
Contributor

Looks like a bug in Dredd. Here it should be consistently reproducible. I found it out some time ago, but filing this thanks to @dariagrudzien playing around with the contents of this repo.

CircleCI

image

Travis CI

image

Wercker

image

AppVeyor

Doesn't happen! 🙀 Perhaps it's Linux-specific? Docker-specific?
@honzajavorek honzajavorek mentioned this issue Jan 31, 2019
Open
@honzajavorek honzajavorek mentioned this issue Sep 26, 2019
Closed
@ghost
Copy link

ghost commented Oct 17, 2020

any ideas how to solve this? Kinda annoying for local development, have to keep killing to app using system monitor.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@honzajavorek