misc/migration/3.15.0_common.py
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Wed, 03 Apr 2013 10:51:15 +0200
brancholdstable
changeset 8859 6ed22ac7257c
parent 8410 eb6a607a0067
permissions -rw-r--r--
[facet] ensure a facet DOM id is a valid jQuery identifier. Closes #2789089

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))