mongodb/docs — pull request #1193 by sl33nyc (2013-08-21 13:19:04+00:00)
Title: Update directions to reflect what to do with the config servers whose hostnames did not change

The original directions indicate that all config mongod's should be shutdown, but do not indicate that the config mongod whose hostnames did not change should be restarted.