author | Edouard Tisserant <edouard.tisserant@gmail.com> |
Mon, 23 May 2022 16:27:56 +0200 | |
changeset 3475 | ee665dca07fa |
parent 3328 | 01682a34a558 |
child 3481 | 563996733dba |
permissions | -rw-r--r-- |
3328
01682a34a558
Dropped SVGUI, deprecated and replaced by SVGHMI. Transformed traffic_lights exemple so that it uses SVGHMI instead.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
1 |
<?xml version='1.0' encoding='utf-8'?> |
01682a34a558
Dropped SVGUI, deprecated and replaced by SVGHMI. Transformed traffic_lights exemple so that it uses SVGHMI instead.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff
changeset
|
2 |
<SVGHMI xmlns:xsd="http://www.w3.org/2001/XMLSchema" OnWatchdog="echo Watchdog for {name} !" WatchdogInitial="10" WatchdogInterval="5" EnableWatchdog="true" Path="{name}"/> |