mongodb/mongo — pull request #460 by edaniels (2013-07-23 20:33:46+00:00)
Title: SERVER-10235 Fixed a bug where the default Progress Meter name was...

...unintentionally being used in mmap shutdown