mongodb/mongo — pull request #410 by alexism (2013-04-05 03:42:35+00:00)
Title: SERVER-9252 use the correct config key for pid file

https://jira.mongodb.org/browse/SERVER-9252