beremiz

SVGHMI: re-indent generated JS
svghmi
2020-03-03, Edouard Tisserant
8d15c6238e62
SVGHMI: re-indent generated JS
<?xml version='1.0' encoding='utf-8'?>
<SVGHMI xmlns:xsd="http://www.w3.org/2001/XMLSchema" OnWatchdog="echo Watchdog for {name} !" OnStart="xdg-open http://127.0.0.1:{port}/{name}" OnStop="echo Closing {name}" WatchdogInitial="10" WatchdogInterval="5"/>