From 2f6d9913596eb4a5a4ac889e31ac767c975a4087 Mon Sep 17 00:00:00 2001
From: Paul Beuchat <beuchatp@control.ee.ethz.ch>
Date: Wed, 12 Sep 2018 13:04:19 +0200
Subject: [PATCH] Added withGUI flag to the Agent launch file
---
pps_ws/src/d_fall_pps/launch/Agent.launch | 18 ++++++++++++------
1 file changed, 12 insertions(+), 6 deletions(-)
diff --git a/pps_ws/src/d_fall_pps/launch/Agent.launch b/pps_ws/src/d_fall_pps/launch/Agent.launch
index b9987cb9..007ce18d 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>
--
GitLab