diff --git a/pps_ws/src/d_fall_pps/launch/Agent.launch b/pps_ws/src/d_fall_pps/launch/Agent.launch index a42e7b467779956af7267c5a03c86d2aca3e5d70..b9987cb9e60e804d3e52823dde0ce86eefff97c2 100755 --- a/pps_ws/src/d_fall_pps/launch/Agent.launch +++ b/pps_ws/src/d_fall_pps/launch/Agent.launch @@ -6,6 +6,9 @@ <!-- Example of how to use the value in agentID --> <!-- <param name="param" value="$(arg agentID)"/> --> + <!-- Example of how to specify the agentID from command line --> + <!-- roslaunch d_fall_pps agentID:=1 --> + <group ns="agent$(arg agentID)"> <!-- CRAZY RADIO -->