-
Notifications
You must be signed in to change notification settings - Fork 37
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
Interrupting kernel build with Ctrl+C doesn't kill all CC processes #2
Comments
Huh, thank you very much for this report.
I'll fix it. |
This commit fixes the issue #2. Stopping of the docker container using SIGTERM is not fast and stable. So I decided to use `docker run` with `--cidfile` for storing the container id. Now I catch the KeyboardInterrupt in python and execute finish_container.sh, which kills the container and removes the cidfile. In case of normal build without KeyboardInterrupt, finish_container.sh checks that the container is happily finished on its own and removes the cidfile as well.
Hi @xairy, Look how it works now:
Do you like it? |
Yay, it works! =) I've noticed a few times that killing Thank you! |
The kernel still keeps building in the background. Restarting the build at this point might lead to flaky errors, I assume due to the conflict of two separately running build processes.
The text was updated successfully, but these errors were encountered: