ROS Keyserver Down?

edit

I've just installed ROS Indigo on a brand new installation of Ubuntu 14.04 per the instructions on the wiki. Unfortunately, I ran into trouble setting up my keys.

Every time that I ran

sudo apt-key adv --keyserver hkp://pool.sks-keyservers.net --recv-key 0xB01FA116

I got the following output:

Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --homedir /tmp/tmp.pmoKA9JVGs --no-auto-check-trustdb --trust-model always --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver hkp://pool.sks-keyservers.net --recv-key 0xB01FA116
gpg: requesting key B01FA116 from hkp server pool.sks-keyservers.net
?: pool.sks-keyservers.net: Network is unreachable
gpgkeys: HTTP fetch error 7: couldn't connect: Network is unreachable
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

Is the keyserver down? If so, will it come back up? Googling for help, I've found several other questions describing experiences similar to my own. I was able to get the key by running the following command:

wget https://raw.githubusercontent.com/ros/rosdistro/master/ros.key -O - | sudo apt-key add -

After that, the installation process proceeded smoothly, and ROS is running just fine. I'm also able to ping both the keyserver site and packages.ros.org .

That being said, I think this begs the question of whether the installation instructions are incorrect/out-of-date/incomplete. Does someone--it's okay if it's me--need to make an update to the wiki, or is this problem actually a transient one (and thus might not warrant a change to the official instructions)? The only reason I ask is that I've been getting this error for several consecutive days now and others seem to have had this problem multiple times in the past. I'd like to help others avoid this little hiccup if possible.

Thanks in advance!