# HG changeset patch # User Sylvain Thénault # Date 1274782826 -7200 # Node ID 3e9e6dd54ebbb1632440e09224d02e677f3c36a0 # Parent 297b2002a0830c9610eb5aa4873da14d06604ebd [migration] add migration file commands to follow option group changes diff -r 297b2002a083 -r 3e9e6dd54ebb migration.py --- a/migration.py Tue May 25 11:56:16 2010 +0200 +++ b/migration.py Tue May 25 12:20:26 2010 +0200 @@ -320,7 +320,7 @@ """a configuration option has been renamed""" self._option_changes.append(('renamed', oldname, newname)) - def cmd_option_group_change(self, option, oldgroup, newgroup): + def cmd_option_group_changed(self, option, oldgroup, newgroup): """a configuration option has been moved in another group""" self._option_changes.append(('moved', option, oldgroup, newgroup)) diff -r 297b2002a083 -r 3e9e6dd54ebb misc/migration/3.8.3_common.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/misc/migration/3.8.3_common.py Tue May 25 12:20:26 2010 +0200 @@ -0,0 +1,3 @@ +option_group_changed('port', 'main', 'web') +option_group_changed('query-log-file', 'main', 'web') +option_group_changed('profile', 'main', 'web')