From a4dd8801e1127b783f55953bd320a98535d73424 Mon Sep 17 00:00:00 2001
From: Paul Beuchat <beuchatp@control.ee.ethz.ch>
Date: Fri, 29 Nov 2019 08:59:42 +0100
Subject: [PATCH] Fixed the error causing the coordinator to not work (the
 coordinator.launch file was not zero padding the coordID)

---
 dfall_ws/src/dfall_pkg/launch/coordinator.launch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dfall_ws/src/dfall_pkg/launch/coordinator.launch b/dfall_ws/src/dfall_pkg/launch/coordinator.launch
index c9e7e154..b05e5b61 100755
--- a/dfall_ws/src/dfall_pkg/launch/coordinator.launch
+++ b/dfall_ws/src/dfall_pkg/launch/coordinator.launch
@@ -12,7 +12,7 @@
 	<!-- Example of how to specify the coordID from command line -->
 	<!-- roslaunch dfall_pkg coordID:=001 -->
 
-	<group ns="coord$(arg coordID)">
+	<group ns="$(eval 'agent' + str(coordID).zfill(3))">
 
 		<!-- COORDINATOR GUI -->
 		<group if="$(arg withGUI)">
-- 
GitLab