plugins/python/modules/svgui/svgui.py
changeset 410 092e33606e51
parent 407 0bef13d73350
child 415 339fa2542481
--- a/plugins/python/modules/svgui/svgui.py	Thu Oct 08 11:04:06 2009 +0200
+++ b/plugins/python/modules/svgui/svgui.py	Thu Oct 08 11:09:01 2009 +0200
@@ -71,11 +71,9 @@
         runtimefile.write(svguiservercode % {"svgfile" : "gui.svg"})
         runtimefile.write("""
 def _runtime_%(location)s_begin():
-    print "SVGUI start"
     website.LoadHMI(%(svgui_class)s, %(jsmodules)s)
     
 def _runtime_%(location)s_cleanup():
-    print "SVGUI stop"
     website.UnLoadHMI()
     
 """ % {"location": location_str,