Fix host option - Githubissues

rock-core / tools-roby

The roby plan manager

Other

3 stars 11 forks source link

Closed doudou closed 7 years ago

doudou commented 7 years ago

This is required to be able to connect the various Roby/Syskit tools (including the IDE) to a syskit instance started on a non-standard port.