warehouse_ros icon indicating copy to clipboard operation
warehouse_ros copied to clipboard

Idea: merge host and port parameters into one

Open gleichdick opened this issue 3 years ago • 1 comments

@v4hn proposed to replace both warehouse_host and warehouse_port parameters with one single generic one, e.g. warehouse_uri. With the uri parameters, the plugins have more freedom in how and where they store stuff. Of course, this requires the adaption of all plugins (currently mongodb, and two sqlite implementations).

gleichdick avatar Aug 10 '21 12:08 gleichdick

It would be straight-forward to add a new setParams method and keep the old one as a wrapper that would auto-construct the URI.

At least MoveIt's RViz GUI should still be adapted to use the new URI format (though we probably also want to stay backward compatible there).

v4hn avatar Aug 10 '21 18:08 v4hn