misc/migration/3.15.0_common.py
author Julien Cristau <julien.cristau@logilab.fr>
Thu, 13 Feb 2014 16:51:22 +0100
changeset 9531 d4e12e37e908
parent 8410 eb6a607a0067
permissions -rw-r--r--
[web/data] Add missing images from jquery-ui 1.10.3 Closes #3175933

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