mongodb/docs — pull request #1144 by jonathan-b-king (2013-07-30 22:57:37+00:00)
Title: Update install-mongodb-on-ubuntu.txt

Use URI prefix and port 80 for keyserver. Should be generically good when called from inside more restrictive network environments and harmless elsewhere.

See: http://stackoverflow.com/questions/13112400/gpgkeys-key-7f0ceb10-not-found-on-keyserver-while-installing-mongodb-on-ubunt