pushed scaling to live version

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