diff -r 63249a965feb -r 092e33606e51 plugins/python/modules/svgui/svgui.py --- 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,