third_party.pylibs.pylint.src/tests/regrtest_data/dummy_plugin.rc

[MASTER]
load-plugins=dummy_plugin

[DUMMY_PLUGIN]
dummy_option_1="dummy value 1"
dummy_option_2="dummy value 2"
Support having plugins with options, sharing the same name We do support plugins that have the same name, but when both of them are adding options that can be used, pylint crashes, since it already processed the options of the first plugin, introducing the plugin section in the configuration. The patch verifies that an option group already exists and if so, it does not add the same section twice, thus avoiding the duplicate section error. 2016-08-22 08:55:59 +00:00			`[MASTER]`
			`load-plugins=dummy_plugin`

			`[DUMMY_PLUGIN]`
			`dummy_option_1="dummy value 1"`
			`dummy_option_2="dummy value 2"`