jupyter/tmpnb — pull request #23 by minrk (2014-09-20 22:24:35+00:00)
Title: use docker.kill instead of docker.stop

We don't need a clean shutdown if we are just going to remove the container. We can switch to stop if/when we start using pause/resume instead.