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

progress: fix possible race in Stop(); fixes #322 #332

Merged
merged 1 commit into from
Oct 2, 2024
Merged

Conversation

jedib0t
Copy link
Owner

@jedib0t jedib0t commented Oct 2, 2024

Introduce a mutex to access the cancel function.

Copy link

sonarcloud bot commented Oct 2, 2024

@jedib0t jedib0t merged commit c078fb8 into main Oct 2, 2024
3 checks passed
@coveralls
Copy link

Pull Request Test Coverage Report for Build 11151475559

Details

  • 9 of 9 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 11151266299: 0.0%
Covered Lines: 3621
Relevant Lines: 3621

💛 - Coveralls

@jedib0t jedib0t deleted the progress-race branch October 2, 2024 20:59
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