runtime/NevowServer.py
changeset 1746 45d6f5fba016
parent 1744 69dfdb26f600
child 1756 08e4394ff4fb
--- a/runtime/NevowServer.py	Wed Aug 16 11:47:27 2017 +0300
+++ b/runtime/NevowServer.py	Wed Aug 16 12:03:46 2017 +0300
@@ -122,7 +122,7 @@
                                     tags.head(render=tags.directive('liveglue')),
                                     tags.body[
                                         tags.div[
-                                                tags.div( render=tags.directive( "MainPage" ))
+                                                tags.div(render=tags.directive("MainPage"))
                                                 ]]]])
     MainPage = MainPage()
     PLCHMI = PLCHMI