From 14066e41585f40094046e9cca4d085ad122dbd7e Mon Sep 17 00:00:00 2001
From: Paul Beuchat <beuchatp@control.ee.ethz.ch>
Date: Wed, 14 Aug 2019 15:32:50 +0200
Subject: [PATCH] Change teacher to dfallmaster for the ROS_HOSTNAME in the
 Config.sh file

---
 dfall_ws/src/dfall_pkg/launch/Config.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dfall_ws/src/dfall_pkg/launch/Config.sh b/dfall_ws/src/dfall_pkg/launch/Config.sh
index fcd2c5ea..09a949b8 100755
--- a/dfall_ws/src/dfall_pkg/launch/Config.sh
+++ b/dfall_ws/src/dfall_pkg/launch/Config.sh
@@ -3,9 +3,9 @@
 # TO RUN THE SYSTEM AS AN AGENT ON A DEFAULT CONFIGURATION OF THE NETWROK:
 export ROS_MASTER_URI=http://dfallmaster:11311
 # TO RUN THE SYSTEM AS A ROS-MASTER ON A DEFAULT CONFIGURATION OF THE NETWROK:
-#export ROS_HOSTNAME=teacher
+#export ROS_HOSTNAME=dfallmaster
 # OTHER NECESSARY ENVIRONMENT VARIABLES:
 export ROS_IP=$(hostname -I | awk '{print $1;}')
 export DFALL_DEFAULT_AGENT_ID=$(cat /etc/dfall_default_agent_id)
 export DFALL_DEFAULT_COORD_ID=$(cat /etc/dfall_default_coord_id)
-export ROS_NAMESPACE='dfall'
\ No newline at end of file
+export ROS_NAMESPACE='dfall'
-- 
GitLab