svghmi/svghmi.py
branchsvghmi
changeset 2830 15d7bd79d9e8
parent 2828 be947a338760
child 2831 6c9cfdbe94dc
equal deleted inserted replaced
2829:4c2c50f60730 2830:15d7bd79d9e8
   514 # TODO : multi
   514 # TODO : multi
   515 def watchdog_trigger():
   515 def watchdog_trigger():
   516     {svghmi_cmds[Watchdog]}
   516     {svghmi_cmds[Watchdog]}
   517 
   517 
   518 def _runtime_svghmi1_{location}_start():
   518 def _runtime_svghmi1_{location}_start():
   519     svghmi_root.putChild('{view_name}',File('{xhtml}', defaultType='application/xhtml+xml'))
   519     svghmi_root.putChild('{view_name}', NoCacheFile('{xhtml}', defaultType='application/xhtml+xml'))
   520     {svghmi_cmds[Start]}
   520     {svghmi_cmds[Start]}
   521 
   521 
   522 def _runtime_svghmi1_{location}_stop():
   522 def _runtime_svghmi1_{location}_stop():
   523     svghmi_root.delEntity('{view_name}')
   523     svghmi_root.delEntity('{view_name}')
   524     {svghmi_cmds[Stop]}
   524     {svghmi_cmds[Stop]}