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.

Sign up for GitHub

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

Jump to bottom

[18317] Improve SHM zombie port detection #3509

Closed
wants to merge 2 commits into from
Closed

[18317] Improve SHM zombie port detection #3509

wants to merge 2 commits into from

Conversation

jsan-rt
Copy link
Contributor

@jsan-rt jsan-rt commented May 10, 2023 •
edited by rsanchez15
Loading

Description

Contributor Checklist

  • Commit messages follow the project guidelines.
  • The code follows the style guidelines of this project.
  • Tests that thoroughly check the new feature have been added/Regression tests checking the bug and its fix have been added; the added tests pass locally
  • Any new/modified methods have been properly documented using Doxygen.
  • Changes are ABI compatible.
  • Changes are API compatible.
  • New feature has been added to the versions.md file (if applicable).
  • New feature has been documented/Current behavior is correctly described in the documentation.
  • Applicable backports have been included in the description.

Reviewer Checklist

  • The PR has a milestone assigned.
  • Check contributor checklist is correct.
  • Check CI results: changes do not issue any warning.
  • Check CI results: failing tests are unrelated with the changes.

@jsan-rt
Copy link
Contributor Author

jsan-rt commented May 10, 2023

@richiprosima please test linux

@jsan-rt jsan-rt changed the title [18319] Improve SHM zombie port detection [18317] Improve SHM zombie port detection May 11, 2023
@JLBuenoLopez
Copy link
Contributor

This PR was superseded by #3639, #3642 and #3759.

@MiguelCompany MiguelCompany deleted the feature/shm_testing branch November 3, 2023 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jsan-rt @JLBuenoLopez