Fix settings URL: now '/' instead of '/settings'
authorEdouard Tisserant <edouard.tisserant@gmail.com>
Sat, 09 Dec 2023 01:01:48 +0100
changeset 3882 c7ec55cbd35a
parent 3881 0b3ac94f494c
child 3883 a6e7dd8bac36
Fix settings URL: now '/' instead of '/settings'
runtime/NevowServer.py
--- 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')
             ]]])