A new defect has been detected and assigned to renctan in Coverity Connect.
http://coverity.mongodb.com//sourcebrowser.htm?projectId=10001#mergedDefectId=14504
The defect was flagged by checker REVERSE_INULL in
file /src/mongo/s/server.cpp
function mongo::dbexit(mongo::ExitCode, const char *)
and this ticket was created by renctan