Change teacher to dfallmaster for the ROS_HOSTNAME in the Config.sh file

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'