From 3251a10ec5e6feadca67b680b9fa06baec3ed65d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pedro=20Gon=C3=A7alves?= <pedro@lsts.pt>
Date: Fri, 31 Jul 2020 12:47:57 +0100
Subject: [PATCH] mkpackage: change order of servers, LSTS -> upstream URL ->
 OMST.

---
 mkpackage.bash | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

diff --git a/mkpackage.bash b/mkpackage.bash
index 45cbff4..59107fc 100755
--- a/mkpackage.bash
+++ b/mkpackage.bash
@@ -71,22 +71,22 @@ download()
             fi
         fi
 
-	# First try LSTS mirror.
-	lsts_url="https://lsts.pt/glued/$(basename $u)"
-        download_tool "$lsts_url" "$cfg_dir_downloads/$file"
-        if [ $? -ne 0 ]; then
-	    # Then try OceanScan-MST mirror.
-            omst_url="http://www.omst.pt/glued/$(basename $u)"
-            download_tool "$omst_url" "$cfg_dir_downloads/$file"
-            if [ $? -ne 0 ]; then
-		# On failure try upstream URL.
-		download_tool "$u" "$cfg_dir_downloads/$file"
-		if [ $? -ne 0 ]; then
-                    echo "ERROR: download failed"
-                    exit 1
-		fi
-            fi
-	fi
+       # First try LSTS mirror.
+       lsts_url="https://lsts.pt/glued/$(basename $u)"
+       download_tool "$lsts_url" "$cfg_dir_downloads/$file"
+       if [ $? -ne 0 ]; then
+         # Try upstream URL.
+         download_tool "$u" "$cfg_dir_downloads/$file"
+         if [ $? -ne 0 ]; then
+           # Then try OceanScan-MST mirror.
+           omst_url="http://www.omst.pt/glued/$(basename $u)"
+           download_tool "$omst_url" "$cfg_dir_downloads/$file"
+           if [ $? -ne 0 ]; then
+             echo "ERROR: download failed"
+             exit 1
+           fi
+         fi
+       fi
 
         md5="$(md5sum_tool "$cfg_dir_downloads/$file")"
         if [ "$s" != "$md5" ]; then