svgui/svgui_server.py
changeset 1878 fb73a6b6622d
parent 1872 866fb3ab8778
child 1881 091005ec69c4
--- a/svgui/svgui_server.py	Thu Oct 19 10:57:35 2017 +0300
+++ b/svgui/svgui_server.py	Thu Oct 19 11:03:03 2017 +0300
@@ -114,8 +114,8 @@
     jsClass = u"LiveSVGPage.LiveSVGWidget"
 
     docFactory = loaders.stan(tags.div(render=tags.directive('liveElement'))[
-                                         tags.xml(loaders.xmlfile(os.path.join(NS.WorkingDir, svgfile))),
-                                         ])
+        tags.xml(loaders.xmlfile(os.path.join(NS.WorkingDir, svgfile))),
+    ])
 
     def HMIinitialisation(self):
         gadgets = []