mongodb/mongo — pull request #411 by alexism (2013-04-05 03:44:13+00:00)
Title: reducSERVER-9253 e blocksleep by uswhen possible

`/etc/init.d/mongod stop` uses killproc with a 5mn delay between TERM and KILL.
In most cases this 5mn sleep is too long and the stop command hangs unnecessarily even though the process has exited successfully.

This ticket is to re-implement the same 5mn delay but with a busy-wait loop that would return as early as possible.

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