From a38a600bdc257d07cc0bf92e712cc3493502499a Mon Sep 17 00:00:00 2001 From: Daniel Dolezal Date: Sat, 4 Apr 2026 21:29:40 +0200 Subject: [PATCH] rename ServerMetricsCollector to MetricsCollector --- server/Server.py | 4 ++-- .../{ServerMetricsCollector.py => MetricsCollector.py} | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) rename server/metrics/{ServerMetricsCollector.py => MetricsCollector.py} (99%) diff --git a/server/Server.py b/server/Server.py index 85df3f3..eb6d640 100644 --- a/server/Server.py +++ b/server/Server.py @@ -8,7 +8,7 @@ from quart_common.web.logger import await_log from quart_common.web.logger import build_logger from server.metrics.MetricsManager import MetricsManager -from server.metrics.ServerMetricsCollector import ServerMetricsCollector +from server.metrics.MetricsCollector import MetricsCollector from server.storage.StorageLoader import StorageLoader from quart import Quart, request, jsonify @@ -49,7 +49,7 @@ class Server: self.game_move_counts:dict[str, int] = {} self.game_last_seen_unix:dict[str, int] = {} - self.metrics_collector = ServerMetricsCollector( + self.metrics_collector = MetricsCollector( metrics_manager=MetricsManager( backend=metrics_backend_normalized, redis_url=metrics_redis_url, diff --git a/server/metrics/ServerMetricsCollector.py b/server/metrics/MetricsCollector.py similarity index 99% rename from server/metrics/ServerMetricsCollector.py rename to server/metrics/MetricsCollector.py index 5506f48..3744395 100644 --- a/server/metrics/ServerMetricsCollector.py +++ b/server/metrics/MetricsCollector.py @@ -2,7 +2,7 @@ from server.metrics.MetricsManager import MetricsManager import time -class ServerMetricsCollector: +class MetricsCollector: def __init__(self, metrics_manager:MetricsManager, game_state_local_cache:bool, metrics_backend:str, game_state_backend:str, stale_game_timeout_sec:int, game_last_seen_unix:dict, game_move_counts:dict): self._manager = metrics_manager self._stale_game_timeout_sec = stale_game_timeout_sec