jpetazzo/dind — pull request #12 by miracle2k (2014-03-09 15:17:11+00:00)
Title: Support "docker restart"

Delete the pidfile if docker was not shut down properly.