From 67f345de90bbf0e9cc25bab0c163debd4b0d245d Mon Sep 17 00:00:00 2001
From: beuchatp <beuchatp@control.ee.ethz.ch>
Date: Mon, 4 Dec 2017 15:05:47 +0100
Subject: [PATCH] Small bug in teacher launch

---
 pps_ws/src/d_fall_pps/launch/Teacher.launch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pps_ws/src/d_fall_pps/launch/Teacher.launch b/pps_ws/src/d_fall_pps/launch/Teacher.launch
index 8cf733d3..1c2e6a9d 100755
--- a/pps_ws/src/d_fall_pps/launch/Teacher.launch
+++ b/pps_ws/src/d_fall_pps/launch/Teacher.launch
@@ -10,10 +10,10 @@
 	<node pkg="d_fall_pps" name="my_GUI" output="screen" type="my_GUI">
 	</node>
 
-        <!-- PARAMETER SERVICE -->
+	<!-- PARAMETER SERVICE -->
 	<node pkg="d_fall_pps" name="ParameterService" output="screen" type="ParameterService">
 		<param name="type" type="str" value="coordinator" />
-		<param name="agentID" value=0 />
+		<param name="agentID" value="0" />
 		<rosparam command="load" file="$(find d_fall_pps)/param/SafeController.yaml" ns="SafeController" />
 		<rosparam command="load" file="$(find d_fall_pps)/param/CustomController.yaml" ns="CustomController" />
 	</node>
-- 
GitLab