server/serverconfig.py
changeset 8306 4da49700b06a
parent 8265 9747ab9230ad
child 8350 e1c05bf6fdeb
--- a/server/serverconfig.py	Tue Mar 13 14:11:40 2012 +0100
+++ b/server/serverconfig.py	Thu Mar 15 14:26:12 2012 +0100
@@ -140,7 +140,7 @@
           'help': 'size of the parsed rql cache size.',
           'group': 'main', 'level': 3,
           }),
-        ('undo-support',
+        ('undo-enabled',
          {'type' : 'yn', 'default': False,
           'help': 'enable undo support',
           'group': 'main', 'level': 3,