changeset 1014 | e2f7d6c95db0 |
parent 737 | 7b421e080636 |
child 1061 | 02f371f3e063 |
--- a/svgui/svgui.py Thu Apr 04 11:12:30 2013 +0900 +++ b/svgui/svgui.py Thu Apr 04 11:13:28 2013 +0900 @@ -72,10 +72,10 @@ runtimefile = open(runtimefile_path, 'w') runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"}) runtimefile.write(""" -def _runtime_%(location)s_begin(): +def _runtime_%(location)s_start(): website.LoadHMI(%(svgui_class)s, %(jsmodules)s) -def _runtime_%(location)s_cleanup(): +def _runtime_%(location)s_stop(): website.UnLoadHMI() """ % {"location": location_str,