tnachen/mesos — pull request #5 by yifan-gu (2014-06-27 08:17:12+00:00)
Title: Changed docker.kill() to docker.rm()

Since we actually want to destroy the container, so we need
to delete the container after killing it. We can do this by
calling docker.rm(), which by default does a 'docker rm -f'.