Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Use random name for manager semaphore #57

Merged
merged 1 commit into from
Sep 21, 2020
Merged

Use random name for manager semaphore #57

merged 1 commit into from
Sep 21, 2020

Conversation

peci1
Copy link
Contributor

@peci1 peci1 commented Sep 2, 2020

Fixes #56.

@peci1 peci1 requested a review from nkoenig as a code owner September 2, 2020 02:10
@peci1 peci1 mentioned this pull request Sep 2, 2020
Closed
@chapulina chapulina added the 📜 blueprint Ignition Blueprint label Sep 2, 2020
@chapulina
Copy link
Contributor

Please be sure to sign your commit for the DCO checker.

@chapulina chapulina requested a review from mjcarroll September 2, 2020 03:12
@peci1
Copy link
Contributor Author

peci1 commented Sep 2, 2020

DCO fixed.

@mjcarroll mjcarroll self-requested a review September 2, 2020 15:36
mjcarroll
mjcarroll requested changes Sep 2, 2020
View reviewed changes
@peci1
Use random name for manager semaphore
2c96672 
Fixes gazebosim#56.

Signed-off-by: Martin Pecka <peckama2@fel.cvut.cz>
@mjcarroll mjcarroll merged commit 4794839 into gazebosim:ign-launch1 Sep 21, 2020
@chapulina chapulina mentioned this pull request Oct 14, 2020
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@mjcarroll mjcarroll mjcarroll approved these changes

@nkoenig nkoenig Awaiting requested review from nkoenig nkoenig is a code owner

Assignees
No one assigned
Labels
📜 blueprint Ignition Blueprint
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@peci1 @chapulina @mjcarroll