From 58bbf54371e4661edff228d22097026e01a64823 Mon Sep 17 00:00:00 2001
From: Paul Beuchat <beuchatp@control.ee.ethz.ch>
Date: Wed, 12 Sep 2018 14:02:57 +0200
Subject: [PATCH] Agent launch file now automatically padds the agent id with
zeros in the namespace
---
pps_ws/src/d_fall_pps/launch/Agent.launch | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/pps_ws/src/d_fall_pps/launch/Agent.launch b/pps_ws/src/d_fall_pps/launch/Agent.launch
index 007ce18d..d7712739 100755
--- a/pps_ws/src/d_fall_pps/launch/Agent.launch
+++ b/pps_ws/src/d_fall_pps/launch/Agent.launch
@@ -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 -->
<node
--
GitLab