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

fix(share/peer-manager): use mutex for peer-manager pool cleanup #2817

Merged
merged 2 commits into from
Oct 9, 2023

Conversation

walldiss
Copy link
Member

@walldiss walldiss commented Oct 6, 2023

Resolves #2807

@walldiss walldiss added area:p2p kind:fix Attached to bug-fixing PRs labels Oct 6, 2023
@walldiss walldiss self-assigned this Oct 6, 2023
ramin
ramin previously approved these changes Oct 6, 2023
distractedm1nd
distractedm1nd previously approved these changes Oct 6, 2023
Wondertan
Wondertan previously approved these changes Oct 6, 2023
renaynay
renaynay previously approved these changes Oct 6, 2023
Copy link
Member

@renaynay renaynay left a comment

Choose a reason for hiding this comment

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

@codecov-commenter
Copy link

Codecov Report

Merging #2817 (63f4e11) into main (0b5fc0b) will decrease coverage by 0.07%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main    #2817      +/-   ##
==========================================
- Coverage   51.44%   51.37%   -0.07%     
==========================================
  Files         167      167              
  Lines       10752    10756       +4     
==========================================
- Hits         5531     5526       -5     
- Misses       4742     4749       +7     
- Partials      479      481       +2     
Files Coverage Δ
share/p2p/peers/manager.go 72.01% <100.00%> (-0.18%) ⬇️
share/p2p/peers/pool.go 95.77% <100.00%> (+0.18%) ⬆️

... and 3 files with indirect coverage changes

@walldiss walldiss merged commit 270931b into celestiaorg:main Oct 9, 2023
14 of 16 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:p2p kind:fix Attached to bug-fixing PRs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

share/p2p: data race in peer manager
6 participants