# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1702080108 -3600
# Node ID c7ec55cbd35aca87ca2ef8cabc33d1251ab5c7a7
# Parent  0b3ac94f494c6ab2426f79628a3a86f6710ca9b8
Fix settings URL: now '/' instead of '/settings'

diff -r 0b3ac94f494c -r c7ec55cbd35a 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')
             ]]])