public FrontendUpdateService(
JsonSerializerOptions jsonSerializerOptions,
IServiceScopeFactory serviceProvider,
RedisService redis,
ILogger <FrontendUpdateService> logger,
ILogger <FrontendWebsocketWrapperTy> wsLogger)
{
this.jsonSerializerOptions = jsonSerializerOptions;
this.scopeProvider = serviceProvider;
this.redis = redis;
this.logger = logger;
this.wsLogger = wsLogger;
}
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;
}
public GenericCacheService(RedisService redis, JsonSerializerOptions?jsonOptions)
{
this.redis = redis;
this.jsonOptions = jsonOptions;
}
