Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

start and done reporters centrally, removes to many reports #2583

Merged
merged 4 commits into from
Jul 7, 2022

Conversation

thoniTUB
Copy link
Collaborator

@thoniTUB thoniTUB commented Jul 6, 2022

No description provided.

@thoniTUB thoniTUB requested a review from awildturtok July 6, 2022 09:58
if (!child.isDone()) {
log.warn("One or more Children are not done yet");
}
child.done();
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

hmm, das eigentlich schon richtig so, dass parent ein Problem hat, wenn child noch nicht fertig ist.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ich würde es immer so machen, dass wenn parent done auf ruft auch die children auf done gesetzt werden.
Children sind normalerweise eigene Threads auf die der Parent warten sollte um sicher zugehen, dass der Job abgeschlossen ist. So ist es momentan auch.

@thoniTUB thoniTUB requested a review from awildturtok July 6, 2022 15:21
@thoniTUB thoniTUB merged commit a32570d into develop Jul 7, 2022
@delete-merged-branch delete-merged-branch bot deleted the fix/progress_reporter_in_jobs branch July 7, 2022 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants