Skip to content
Snippets Groups Projects
Unverified Commit eff11a59 authored by Robert Haschke's avatar Robert Haschke Committed by GitHub
Browse files

cleanup warehouse settings (#43)

parent cfe65bae
No related branches found
No related tags found
No related merge requests found
<launch> <launch>
<!-- Set the parameters for the warehouse and run the mongodb server. --> <!-- Set the parameters for the warehouse. -->
<!-- The default DB port for moveit (not default MongoDB port to avoid potential conflicts) --> <!-- The default DB port for moveit (not default MongoDB port to avoid potential conflicts) -->
<arg name="moveit_warehouse_port" default="33829" /> <arg name="moveit_warehouse_port" default="33829" />
...@@ -10,7 +10,5 @@ ...@@ -10,7 +10,5 @@
<!-- Set parameters for the warehouse --> <!-- Set parameters for the warehouse -->
<param name="warehouse_port" value="$(arg moveit_warehouse_port)"/> <param name="warehouse_port" value="$(arg moveit_warehouse_port)"/>
<param name="warehouse_host" value="$(arg moveit_warehouse_host)"/> <param name="warehouse_host" value="$(arg moveit_warehouse_host)"/>
<param name="warehouse_exec" value="mongod" />
<param name="warehouse_plugin" value="warehouse_ros_mongo::MongoDatabaseConnection" /> <param name="warehouse_plugin" value="warehouse_ros_mongo::MongoDatabaseConnection" />
</launch> </launch>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment