diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2020-04-11 13:58:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-11 13:58:50 -0400 |
| commit | 97997d2cd6801d0335e3fa162b719d6f8c160266 (patch) | |
| tree | 0483b781fe8b12df0f8fe9692afaf2a234c310d4 /coverage/config.py | |
| parent | 17204597c33db2cc396d32b8f9931c35f2518675 (diff) | |
| parent | edadbece423b100ff3513cd26670b1fc2631cbf3 (diff) | |
| download | python-coveragepy-git-97997d2cd6801d0335e3fa162b719d6f8c160266.tar.gz | |
Merge pull request #969 from gaborbernat/967
Allow plugins to alter the paths config
Diffstat (limited to 'coverage/config.py')
| -rw-r--r-- | coverage/config.py | 6 |
1 files changed, 6 insertions, 0 deletions
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] |