diff --git a/pps_ws/src/d_fall_pps/launch/Agent.launch b/pps_ws/src/d_fall_pps/launch/Agent.launch index b9987cb9e60e804d3e52823dde0ce86eefff97c2..007ce18d1f1d5325097aaabfb6f28e262583e9e8 100755 --- a/pps_ws/src/d_fall_pps/launch/Agent.launch +++ b/pps_ws/src/d_fall_pps/launch/Agent.launch @@ -3,6 +3,9 @@ <!-- INPUT ARGUMENT OF THE AGENT's ID --> <arg name="agentID" default="$(optenv DFALL_DEFAULT_AGENT_ID)" /> + <!-- INPUT ARGUMENT FOR LAUNCHING A GUI OR NOT --> + <arg name="withGUI" default="true" /> + <!-- Example of how to use the value in agentID --> <!-- <param name="param" value="$(arg agentID)"/> --> @@ -132,13 +135,16 @@ /> </node> + <!-- AGENT GUI (aka. the "student GUI") --> - <node - pkg = "d_fall_pps" - name = "student_GUI" - output = "screen" - type = "student_GUI"> - </node> + <group if="$(arg withGUI)"> + <node + pkg = "d_fall_pps" + name = "student_GUI" + output = "screen" + type = "student_GUI"> + </node> + </group> </group>