misc/migration/3.15.0_common.py
author Pierre-Yves David <pierre-yves.david@logilab.fr>
Wed, 27 Mar 2013 14:46:55 +0100 (2013-03-27)
changeset 8790 c3fc17d79e85
parent 8410 eb6a607a0067
permissions -rw-r--r--
[session] drop pre-3.7 api on session Dropping of API deprecated since 3.7 decided in #2772958
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))