mongodb/docs — pull request #1433 by Zackrobat (2013-12-02 15:36:14+00:00)
Title: Clean up shutdown procedures.

Take this out of DOCS-1862, which has gotten a lot of cruft that will otherwise cause merge issues.