cubicweb/misc/migration/3.15.0_common.py
changeset 11057 0b59724cb3f2
parent 8410 eb6a607a0067
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cubicweb/misc/migration/3.15.0_common.py	Sat Jan 16 13:48:51 2016 +0100
@@ -0,0 +1,7 @@
+import ConfigParser
+try:
+    undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)
+except ConfigParser.NoOptionError:
+    pass # this conf. file was probably already migrated
+else:
+    config.global_set_option('undo-enabled', bool(undo_actions))