created a much nicer way to deal with IP addresses for downloading

Before it used hostnames from /etc/hosts. Those were annoying because people had
to have them set up and you had to have root permission to change them.

git-svn-id: https://robotics.mvla.net/svn/frc971/2013/trunk/src@4157 f308d9b7-e957-4cde-b6ac-9a88185e7312
4 files changed