[serverctl] rename remove_cube to drop_cube (closes #4545093)
For the sake of consistency, since commands are currently named:
- add_{cube,entity,attribute,relation}
- drop_{entity,attribute,relation}
- remove_cube
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))