From eff11a59f7a85a184763bf5f9da7b25673235131 Mon Sep 17 00:00:00 2001 From: Robert Haschke <rhaschke@users.noreply.github.com> Date: Sat, 28 Sep 2019 16:46:17 +0200 Subject: [PATCH] cleanup warehouse settings (#43) --- launch/warehouse_settings.launch.xml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/launch/warehouse_settings.launch.xml b/launch/warehouse_settings.launch.xml index 967e0ff..772c922 100644 --- a/launch/warehouse_settings.launch.xml +++ b/launch/warehouse_settings.launch.xml @@ -1,5 +1,5 @@ <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) --> <arg name="moveit_warehouse_port" default="33829" /> @@ -10,7 +10,5 @@ <!-- Set parameters for the warehouse --> <param name="warehouse_port" value="$(arg moveit_warehouse_port)"/> <param name="warehouse_host" value="$(arg moveit_warehouse_host)"/> - <param name="warehouse_exec" value="mongod" /> <param name="warehouse_plugin" value="warehouse_ros_mongo::MongoDatabaseConnection" /> - </launch> -- GitLab