From edadbece423b100ff3513cd26670b1fc2631cbf3 Mon Sep 17 00:00:00 2001 From: Bernat Gabor Date: Fri, 3 Apr 2020 08:19:23 +0100 Subject: Allow plugins to alter the paths config Signed-off-by: Bernat Gabor --- coverage/config.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'coverage') diff --git a/coverage/config.py b/coverage/config.py index 78a3e86a..166f34ea 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -421,6 +421,9 @@ class CoverageConfig(object): `value` is the new value for the option. """ + if option_name == "paths": + self.paths = value + return # Check all the hard-coded options. for option_spec in self.CONFIG_FILE_OPTIONS: @@ -448,6 +451,9 @@ class CoverageConfig(object): Returns the value of the option. """ + if option_name == "paths": + return self.paths + # Check all the hard-coded options. for option_spec in self.CONFIG_FILE_OPTIONS: attr, where = option_spec[:2] -- cgit v1.2.1