runtime/NevowServer.py
changeset 2649 db68cb0e6bdc
parent 2311 bef2b4b87370
child 2654 7575050a80c5
--- a/runtime/NevowServer.py	Thu May 28 11:01:42 2020 +0100
+++ b/runtime/NevowServer.py	Thu May 28 11:15:22 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()