diff --git a/server/metrics/ServerMetricsCollector.py b/server/metrics/ServerMetricsCollector.py index 974d690..6f4c965 100644 --- a/server/metrics/ServerMetricsCollector.py +++ b/server/metrics/ServerMetricsCollector.py @@ -9,6 +9,7 @@ class ServerMetricsCollector: self._stale_game_timeout_sec = stale_game_timeout_sec self._game_last_seen_unix = game_last_seen_unix self._game_move_counts = game_move_counts + self._metrics_backend_is_redis = metrics_backend.strip().lower() == 'redis' self._metrics = { 'games_started': 0, 'games_ended': 0, @@ -101,6 +102,8 @@ class ServerMetricsCollector: await self._auto_publish() async def record_stuck_removed(self) -> None: + if self._metrics_backend_is_redis: + return self._metrics['games_stuck_removed'] += 1 await self._auto_publish()