diff options
Diffstat (limited to 'bin/reproducible_scheduler.sh')
| -rwxr-xr-x | bin/reproducible_scheduler.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/bin/reproducible_scheduler.sh b/bin/reproducible_scheduler.sh index 33c543d7..c0ee4d39 100755 --- a/bin/reproducible_scheduler.sh +++ b/bin/reproducible_scheduler.sh @@ -149,12 +149,14 @@ schedule_packages() { # set +x update_apt -SCHEDULED=$(sqlite3 ${PACKAGES_DB} 'SELECT count(name) FROM sources_scheduled') -if [ $SCHEDULED -gt 250 ] ; then - echo "$SCHEDULED packages scheduled, nothing to do." +init_html +COUNT_SCHEDULED=$(sqlite3 ${PACKAGES_DB} 'SELECT count(name) FROM sources_scheduled') +if [ $COUNT_SCHEDULED -gt 250 ] ; then + update_html_schedule + echo "$COUNT_SCHEDULED packages scheduled, nothing to do." exit 0 else - echo "$SCHEDULED packages currently scheduled, scheduling some more..." + echo "$COUNT_SCHEDULED packages currently scheduled, scheduling some more..." fi update_sources_table @@ -193,6 +195,7 @@ MESSAGE="$MESSAGE and $AMOUNT packages with the same version again, for a total # finally schedule_packages +update_html_schedule echo echo "$MESSAGE" kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "$MESSAGE" |