warehouse_settings.launch.xml 675 B

12345678910111213141516
  1. <launch>
  2. <!-- Set the parameters for the warehouse and run the mongodb server. -->
  3. <!-- The default DB port for moveit (not default MongoDB port to avoid potential conflicts) -->
  4. <arg name="moveit_warehouse_port" default="33829" />
  5. <!-- The default DB host for moveit -->
  6. <arg name="moveit_warehouse_host" default="localhost" />
  7. <!-- Set parameters for the warehouse -->
  8. <param name="warehouse_port" value="$(arg moveit_warehouse_port)"/>
  9. <param name="warehouse_host" value="$(arg moveit_warehouse_host)"/>
  10. <param name="warehouse_exec" value="mongod" />
  11. <param name="warehouse_plugin" value="warehouse_ros_mongo::MongoDatabaseConnection" />
  12. </launch>