beremiz

c7ec55cbd35a
Parents 0b3ac94f494c
Children a6e7dd8bac36
Fix settings URL: now '/' instead of '/settings'
--- a/runtime/NevowServer.py Thu Dec 07 22:41:32 2023 +0100
+++ b/runtime/NevowServer.py Sat Dec 09 01:01:48 2023 +0100
@@ -206,7 +206,6 @@
],
tags.body[
tags.h1["Settings"],
- tags.a(href='/')['Back'],
tags.h2["Runtime service"],
webform.renderForms('staticSettings'),
tags.h2["Target specific"],
@@ -264,7 +263,7 @@
],
tags.body[
tags.h1[tags.directive("title")],
- tags.a(href='/settings')['Back'],
+ tags.a(href='/')['Back'],
webform.renderForms('settings')
]]])