Merge pull request #1371 from knorth55/jsk-maps-start-map-empty-world

[jsk_maps] rename start_empty_map.launch and standardize as other map launch
jsk-ros-pkg · Nov 28, 2023 · 429a1c1 · 429a1c1
2 parents eafe654 + d3b0841
commit 429a1c1
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 7 deletions.
diff --git a/jsk_maps/launch/start_empty_map.launch b/jsk_maps/launch/start_empty_map.launch
diff --git a/jsk_maps/launch/start_empty_map.launch b/jsk_maps/launch/start_empty_map.launch
@@ -0,0 +1 @@
+start_map_empty_world.launch
diff --git a/jsk_maps/launch/start_map_empty_world.launch b/jsk_maps/launch/start_map_empty_world.launch
@@ -0,0 +1,16 @@
+<launch>
+  <arg name="launch_map_server" default="true" />
+
+  <!-- unused args; add them to keep the same args as other launches -->
+  <arg name="MACHINE" default="localhost" />
+  <arg name="use_machine" default="false" />
+  <arg name="use_pictogram" default="false" />
+  <arg name="keepout" default="false" />
+
+  <!-- create empty map -->
+  <node if="$(arg launch_map_server)"
+        name="$(anon empty_map_server)" pkg="map_server" type="map_server"
+        args="$(find jsk_maps)/raw_maps/empty_map.yaml" >
+    <param name="frame_id" value="/map"/>
+  </node>
+</launch>