This repository has been archived by the owner on Dec 10, 2020. It is now read-only.

Shutdown gracefully on SIGINT #79

Merged

vpulim merged 1 commit into master from handle-interrupt

Dec 9, 2018

Contributor

vpulim commented Dec 8, 2018

Handles Control-C gracefully
Minor re-factors/bugfixes to support graceful shutdown


          Shutdown gracefully on SIGINT

ef67872

coveralls commented Dec 8, 2018

Coverage decreased (-0.8%) to 91.888% when pulling ef67872 on handle-interrupt into d65e103 on master.

vpulim merged commit 9f17eaa into master

vpulim deleted the handle-interrupt branch

December 9, 2018 00:38

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet