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