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.

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

Make all development process die if master process dies #1958

Closed
faboweb opened this issue Feb 12, 2019 · 0 comments · Fixed by #1987
Closed

Make all development process die if master process dies #1958

faboweb opened this issue Feb 12, 2019 · 0 comments · Fixed by #1987
Labels
bug 🐛 issues related to unhandled errors in the code that need to be fixed low priority has been discussed, will be addressed later

Comments

@faboweb
Copy link
Collaborator

faboweb commented Feb 12, 2019

Currently usually the nodes and the web server stay alive if you hit ctrl + c in the console. All processes need to be killed via kill ...

@faboweb faboweb added bug 🐛 issues related to unhandled errors in the code that need to be fixed low priority has been discussed, will be addressed later labels Feb 12, 2019
@faboweb faboweb mentioned this issue Feb 17, 2019
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug 🐛 issues related to unhandled errors in the code that need to be fixed low priority has been discussed, will be addressed later
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant