diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_scheduler.sh | 19 |
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 |