Repository navigation

always ensure that the ROS_DOMAIN_ID is set - #102

Merged

wjwwood merged 1 commit into

opensplice_dynamic_ros_domain_id

Sep 17, 2015

Commits on Sep 16, 2015

remove redundant comparison; simplify logic
wjwwood
committed
3eb44ed