domain_coordinator

A tool to coordinate unique ROS_DOMAIN_IDs across multiple processes