runtime/NevowServer.py
changeset 2650 449c9539887a
parent 2649 db68cb0e6bdc
child 2654 7575050a80c5
--- a/runtime/NevowServer.py	Wed Dec 18 13:31:22 2019 +0100
+++ b/runtime/NevowServer.py	Thu May 28 11:16:59 2020 +0100
@@ -179,7 +179,13 @@
 
         setattr(self, 'action_' + name, callback)
 
-        self.bindingsNames.append(name)
+        if name not in self.bindingsNames:
+            self.bindingsNames.append(name)
+
+
+    def delSettings(self, name):
+        if name in self.bindingsNames:
+            self.bindingsNames.remove(name)
 
 
 ConfigurableSettings = ConfigurableBindings()