jobManagerLeaderConnected(msg.jobManager(), msg.currentlyRegisteredTaskManagers());
jobManagerLeaderConnected(msg.jobManager(), msg.currentlyRegisteredTaskManagers());
jobManagerLeaderConnected(msg.jobManager(), msg.currentlyRegisteredTaskManagers());
jobManagerLeaderConnected(msg.jobManager(), msg.currentlyRegisteredTaskManagers());