mongodb/docs — pull request #1718 by bgrabar (2014-04-10 20:36:20+00:00)
Title: DOCS-2287 rs.add no longer disconnects shell

Ready for merge.