public JudgerCoordinatorService(
     JsonSerializerOptions jsonSerializerOptions,
     IServiceScopeFactory serviceProvider,
     FrontendUpdateService frontendService,
     RedisService redis,
     ILogger <JudgerCoordinatorService> logger,
     ILogger <JudgerWebsocketWrapperTy> wsLogger)
 {
     this.jsonSerializerOptions = jsonSerializerOptions;
     this.scopeProvider         = serviceProvider;
     this.frontendService       = frontendService;
     this.redis    = redis;
     this.logger   = logger;
     this.wsLogger = wsLogger;
 }