runtime/NevowServer.py
changeset 3858 dcc83e03d065
parent 3856 054c4f1b2ea7
child 3861 7e17f7e02a2b
equal deleted inserted replaced
3857:d1fa9536b392 3858:dcc83e03d065
   309         tags.head[
   309         tags.head[
   310             tags.title[_("Beremiz Runtime Settings")],
   310             tags.title[_("Beremiz Runtime Settings")],
   311             CSS_tags
   311             CSS_tags
   312         ],
   312         ],
   313         tags.body[
   313         tags.body[
   314             tags.h1["Settings:"],
   314             tags.h1["Settings"],
   315             tags.a(href='/')['Back'],
   315             tags.a(href='/')['Back'],
   316             tags.h2["Runtime service:"],
   316             tags.h2["Runtime service"],
   317             webform.renderForms('staticSettings'),
   317             webform.renderForms('staticSettings'),
   318             tags.h2["Target specific:"],
   318             tags.h2["Target specific"],
   319             webform.renderForms('dynamicSettings'),
   319             webform.renderForms('dynamicSettings'),
   320             tags.h2["Extensions:"],
   320             tags.h2["Extensions"],
   321             extensions_settings
   321             extensions_settings
   322         ]]])
   322         ]]])
   323 
   323 
   324     def configurable_staticSettings(self, ctx):
   324     def configurable_staticSettings(self, ctx):
   325         return configurable.TypedInterfaceConfigurable(self)
   325         return configurable.TypedInterfaceConfigurable(self)