2018-09-17 18:29:00 +02:00
|
|
|
<launch>
|
2018-09-17 19:41:31 +02:00
|
|
|
<node pkg="rqt_gui"
|
|
|
|
type="rqt_gui"
|
2018-09-27 14:00:06 +02:00
|
|
|
name="$(anon user_plugin)"
|
2018-09-17 19:41:31 +02:00
|
|
|
args="--standalone safety_user_plugin"
|
|
|
|
/>
|
2018-11-26 19:52:40 +01:00
|
|
|
|
|
|
|
<arg name="lang" default="eng"/>
|
|
|
|
|
|
|
|
<param
|
|
|
|
name="lang"
|
|
|
|
type="string"
|
|
|
|
value="$(arg lang)"
|
|
|
|
/>
|
2018-09-17 18:29:00 +02:00
|
|
|
</launch>
|