summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_scheduler.sh19
1 files changed, 17 insertions, 2 deletions
diff --git a/bin/reproducible_scheduler.sh b/bin/reproducible_scheduler.sh
index 2305b134..84662197 100755
--- a/bin/reproducible_scheduler.sh
+++ b/bin/reproducible_scheduler.sh
@@ -62,7 +62,9 @@ update_sources_table() {
if [ $P_IN_TMPFILE -ne $P_IN_SOURCES ] ; then
echo "DEBUG: P_IN_SOURCES = $P_IN_SOURCES"
echo "DEBUG: P_IN_TMPFILE = $P_IN_TMPFILE"
- exit 1
+ RESULT=1
+ else
+ RESULT=0
fi
}
@@ -159,7 +161,20 @@ if [ $COUNT_SCHEDULED -gt 250 ] ; then
else
echo "$COUNT_SCHEDULED packages currently scheduled, scheduling some more..."
fi
-update_sources_table
+
+RESULT=0
+for i in 1 2 3 4 5 ; do
+ # try fives times, before failing the job
+ update_sources_table
+ if [ $RESULT -eq 0 ] ; then
+ break
+ fi
+ sleep 2m
+done
+if [ $RESULT -ne 0 ] ; then
+ echo "failure to update sources table"
+ exit 1
+fi
echo "Requesting 200 unknown packages..."
select_unknown_packages 200