svgui/svgui.py
changeset 1776 81aa8aaccdd4
parent 1773 38fde37c3766
child 1832 0f1081928d65
equal deleted inserted replaced
1775:b45f2768fab1 1776:81aa8aaccdd4
   120     website.LoadHMI(%(svgui_class)s, %(jsmodules)s)
   120     website.LoadHMI(%(svgui_class)s, %(jsmodules)s)
   121 
   121 
   122 def _runtime_%(location)s_stop():
   122 def _runtime_%(location)s_stop():
   123     website.UnLoadHMI()
   123     website.UnLoadHMI()
   124 
   124 
   125 """ % {"location": location_str,
   125         """ % {"location": location_str,
   126        "svgui_class": "SVGUI_HMI",
   126                "svgui_class": "SVGUI_HMI",
   127        "jsmodules": str(jsmodules)})
   127                "jsmodules": str(jsmodules)})
   128         runtimefile.close()
   128         runtimefile.close()
   129 
   129 
   130         res += (("runtime_%s.py" % location_str, file(runtimefile_path, "rb")),)
   130         res += (("runtime_%s.py" % location_str, file(runtimefile_path, "rb")),)
   131 
   131 
   132         return res
   132         return res