pereckerdal/overman — pull request #37 by pereckerdal (2014-12-05 09:24:19+00:00)
Title: Make it possible to configure the grace period before kill

Closes #8