Commit 58bbf543 authored by Paul Beuchat's avatar Paul Beuchat
Browse files

Agent launch file now automatically padds the agent id with zeros in the namespace

parent 09de52d3
......@@ -12,7 +12,7 @@
<!-- Example of how to specify the agentID from command line -->
<!-- roslaunch d_fall_pps agentID:=1 -->
<group ns="agent$(arg agentID)">
<group ns="$(eval 'agent' + str(agentID).zfill(3))">
<!-- CRAZY RADIO -->
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment