Skip to content

Domain id init #223

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

Draft
wants to merge 29 commits into
base: main
Choose a base branch
from
Draft

Domain id init #223

wants to merge 29 commits into from

Conversation

DS3a
Copy link
Contributor

@DS3a DS3a commented Jul 10, 2022

I've added the a ContextBuilder which I am using in new() in context.rs please review this so that I can proceed to adding domain_id options by overrloading these functions using ros_distro cfg attributes

@mxgrey
Copy link
Collaborator

mxgrey commented Mar 10, 2025

I think the purpose of this PR is covered by InitOptions which was introduced in #386

It should be reasonable to close this PR at this point.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants