plugins/python/modules/svgui/svgui.py
changeset 410 092e33606e51
parent 407 0bef13d73350
child 415 339fa2542481
equal deleted inserted replaced
409:63249a965feb 410:092e33606e51
    69         runtimefile_path = os.path.join(buildpath, "runtime_%s.py"%location_str)
    69         runtimefile_path = os.path.join(buildpath, "runtime_%s.py"%location_str)
    70         runtimefile = open(runtimefile_path, 'w')
    70         runtimefile = open(runtimefile_path, 'w')
    71         runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"})
    71         runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"})
    72         runtimefile.write("""
    72         runtimefile.write("""
    73 def _runtime_%(location)s_begin():
    73 def _runtime_%(location)s_begin():
    74     print "SVGUI start"
       
    75     website.LoadHMI(%(svgui_class)s, %(jsmodules)s)
    74     website.LoadHMI(%(svgui_class)s, %(jsmodules)s)
    76     
    75     
    77 def _runtime_%(location)s_cleanup():
    76 def _runtime_%(location)s_cleanup():
    78     print "SVGUI stop"
       
    79     website.UnLoadHMI()
    77     website.UnLoadHMI()
    80     
    78     
    81 """ % {"location": location_str,
    79 """ % {"location": location_str,
    82        "svgui_class": "SVGUI_HMI",
    80        "svgui_class": "SVGUI_HMI",
    83        "jsmodules" : str(jsmodules),
    81        "jsmodules" : str(jsmodules),