[patch] use wget instead of some hackery method, + little cleanup

mirrorselect.patch (text/plain), 847 bytes, created by Dries Harnie on 2003-03-22 03:07:53 UTC

--- /usr/sbin/mirrorselect	2003-03-22 10:03:05.000000000 +0100
+++ mirrorselect	2003-03-22 10:04:50.000000000 +0100
@@ -33,7 +33,7 @@
 if [ "${1}" = "-a" ] ; then	
 	echo "Fetching server list from web"
 	# nastiness, but it should work for now
-	MIRROR_LIST=$((echo -e "GET /main/en/mirrors.xml HTTP/0.9\r\n\r\n" 1>&3 & cat 0<&3) 3<> /dev/tcp/gentoo.org/80 | \
+	MIRROR_LIST=$(wget -O - "http://www.gentoo.org/main/en/mirrors.xml" 2>/dev/null | \
 	(read i; while [ "$(echo $i | tr -d '\r')" != "" ]; do read i; done; cat) | \
 	perl -nle'print $1 if /\s{5}<a href="((htt|ft)p[^"]+)/' | grep -v "MIRRORS")
 
@@ -42,7 +42,7 @@
 		CHECKLIST="${CHECKLIST} `echo $i | grep -v "("`"
 	done
 
-	if [ "`echo ${2} | grep -e "^-s[01234567890]"`" ] ; then
+	if [ "`echo ${2} | grep -e "^-s[0-9]"`" ] ; then
 		SERVERS="${2}"
 	else
 		if [ "${2}" ] ; then