# HG changeset patch
# User siretart
# Date 1286982564 0
# Node ID 8f3293925a936251c5cdbdc6743f90b1f53b2965
# Parent  68722c75c922c078595693a4348b9d4e82b6d8bf
do not create a fake 'bestsites' if neither 'fping' or 'netselect' are installed

change developed by A Mennucc <mennucc1 [at] debian [dot] org>

diff -r 68722c75c922 -r 8f3293925a93 TOOLS/binary_codecs.sh
--- a/TOOLS/binary_codecs.sh	Wed Oct 13 15:02:00 2010 +0000
+++ b/TOOLS/binary_codecs.sh	Wed Oct 13 15:09:24 2010 +0000
@@ -43,7 +43,6 @@
       echo "(If you install 'netselect' or 'fping', it will select the best mirror for you"
       echo "  you may wish to stop this script and rerun after installation)"
       sleep 3
-      head -3 mirrors > bestsites
     fi
   fi
 }
@@ -62,7 +61,9 @@
   fi
 
   if [ "$url" = @MAINSITE@ ] ; then
-    cat $PREFDIR/bestsites | while read mainsite ; do
+    list=$PREFDIR/bestsites
+    test -r $list || list=$PREFDIR/mirrors
+    cat $list | while read mainsite ; do
       echo Downloading $filename from $mainsite ...
       wget -c -N $mainsite/$dir/$filename || true
       if [ -r "$filename" ] ; then