equal
deleted
inserted
replaced
70 |
70 |
71 runtimefile_path = os.path.join(buildpath, "runtime_%s.py"%location_str) |
71 runtimefile_path = os.path.join(buildpath, "runtime_%s.py"%location_str) |
72 runtimefile = open(runtimefile_path, 'w') |
72 runtimefile = open(runtimefile_path, 'w') |
73 runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"}) |
73 runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"}) |
74 runtimefile.write(""" |
74 runtimefile.write(""" |
75 def _runtime_%(location)s_begin(): |
75 def _runtime_%(location)s_start(): |
76 website.LoadHMI(%(svgui_class)s, %(jsmodules)s) |
76 website.LoadHMI(%(svgui_class)s, %(jsmodules)s) |
77 |
77 |
78 def _runtime_%(location)s_cleanup(): |
78 def _runtime_%(location)s_stop(): |
79 website.UnLoadHMI() |
79 website.UnLoadHMI() |
80 |
80 |
81 """ % {"location": location_str, |
81 """ % {"location": location_str, |
82 "svgui_class": "SVGUI_HMI", |
82 "svgui_class": "SVGUI_HMI", |
83 "jsmodules" : str(jsmodules), |
83 "jsmodules" : str(jsmodules), |