From f4c213e7b3716d55e056e26713394c176bb743df Mon Sep 17 00:00:00 2001 From: Owen Date: Fri, 10 Jan 2025 22:11:31 +0100 Subject: [PATCH] save metrics before switching releases --- .github/workflows/production.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/production.yml b/.github/workflows/production.yml index 78a963e..d3f9888 100644 --- a/.github/workflows/production.yml +++ b/.github/workflows/production.yml @@ -70,10 +70,17 @@ jobs: export PLANTID_DISCORD_BOT_TOKEN=${{ secrets.PLANTID_DISCORD_BOT_TOKEN }} export PLANTID_FILESERVER_URL=${{ secrets.PLANTID_FILESERVER_URL }} cd /home/${{ secrets.USERNAME }}/plantid_discord_bot + # extract artifacts tar -xzf release.tar.gz + # save metrics and stop the bot + current_release/bin/plantid_discord_bot rpc "PlantidDiscordBot.Metrics.write()" current_release/bin/plantid_discord_bot stop || true + # switch releases rm -rf old_release mv current_release old_release || true mv plantid_discord_bot current_release + # copy metrics from previous release to current release + mkdir -p current_release/priv/metrics + cp -r old_release/priv/metrics/* current_release/priv/metrics/ 2>/dev/null || true current_release/bin/plantid_discord_bot daemon rm -f release.tar.gz