diff -r e4ab768170f9 -r db68cb0e6bdc runtime/NevowServer.py --- 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()