rename ServerMetricsCollector to MetricsCollector

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,

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