/// <summary>
/// Checks all workers in the registration pools and writes to the output log if the time elapsed
/// since the last heartbeat message is larger than the user-configured threshold.
/// </summary>
private void workerHealthCheck()
{
List <WorkerRegistration> regPool = workerRegistrationPool.GetRegistrationPool();
lock (regPool)
{
foreach (WorkerRegistration wr in regPool)
{
if (wr.IsDead(workerHeartbeatTimeout))
{
SharedLogger.Warning("Manager", "Health Check", $"Worker {wr.Name} is not responding.");
}
}
}
}