aniero/ringleader — pull request #19 by tapajos (2013-03-06 21:19:58+00:00)
Title: New kill strategy

Change the kill strategy to verify if all processes shut down gracefully.