Fix for issue #102: allow user to set mongodb db location

moveit / moveit_setup_assistant

THIS REPO HAS MOVED TO https://github.com/ros-planning/moveit

8 stars 20 forks source link

Fix for issue #102: allow user to set mongodb db location #103

Closed gavanderhoorn closed 9 years ago

gavanderhoorn commented 9 years ago

As per subject.

I'm not too happy with the repeated <arg .. /> then <arg .. /> in both default_warehouse_db.launch and demo.launch, but I saw no other way to make this bw compatible.

mikeferguson commented 9 years ago