svgui/svgui.py
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,