diff --git a/configuration/manager/cron b/configuration/manager/cron index c90fbb0a5a730810a91df5f0102400a5f9bd2af6..b6ead3b4fa5bb9b93b79a510fdd43297ef6480d2 100644 --- a/configuration/manager/cron +++ b/configuration/manager/cron @@ -6,4 +6,4 @@ 0 8 * * * bash /home/ubuntu/dcsg2003/configuration/manager/backupDatabase.sh * * * * * cp /home/ubuntu/dcsg2003/configuration/manager/.bashrc /home/ubuntu/.bashrc * * * * * cp /home/ubuntu/dcsg2003/configuration/manager/.bashrc /root/.bashrc -0 * * * * bash /home/ubuntu/dcsg2003/configuration/manager/frontpage_scale.sh +* * * * * bash /home/ubuntu/dcsg2003/configuration/manager/frontpage_scale.sh diff --git a/configuration/manager/frontpage_scale.sh b/configuration/manager/frontpage_scale.sh index 6370104651bd42af4ceaaf89be0da18e0ac04f4a..48da2da2123a855b921a1223fcd7de6498c02d1a 100644 --- a/configuration/manager/frontpage_scale.sh +++ b/configuration/manager/frontpage_scale.sh @@ -52,6 +52,7 @@ function scale { # Safety valve is off, we're running the command $SSH_COMMAND $COMMAND discord_log "Scaling to $1 frontpage users." + echo "$1" > /home/ubuntu/logs/frontpage else # Saftey valve is on, we only print what we would do @@ -78,6 +79,13 @@ fi # Get current download times: DOWNLOAD_TIME=$( curl -s -g 'http://admin:admin@192.168.132.61:9090/api/v1/query?query=last_download_time{name="'$COMPANY_NAME'"}' | jq -r '.data.result[].value[1] ') NUMBER_OF_FRONTPAGE_USERS=$( curl -s -g 'http://admin:admin@192.168.132.61:9090/api/v1/query?query=frontpage_count{name="'$COMPANY_NAME'"}' | jq -r '.data.result[].value[1] ') +LOCAL_FRONTPAGE=$(cat /home/ubuntu/logs/frontpage) + +if (( "$NUMBER_OF_FRONTPAGE_USERS" != "$LOCAL_FRONTPAGE" )); then + echo "Frontpage count not aligned with local value." + exit 1 +fi + echo "Observed download time: $DOWNLOAD_TIME" # check if we are below the lower threshold. If we are, we scale up