diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2020-09-13 15:47:15 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2020-09-13 15:48:56 -0400 |
| commit | 039ef0959c3f21fe0991204c19fb99fab14055f5 (patch) | |
| tree | 3058128babbc49c88618e696ea28d35445f5763f /coverage/control.py | |
| parent | 24eb6fdc8495f969ffeb724f2e96d3941442dd2d (diff) | |
| download | python-coveragepy-git-039ef0959c3f21fe0991204c19fb99fab14055f5.tar.gz | |
If a plugin is disabled, don't try to record its file tracers. #1011
Diffstat (limited to 'coverage/control.py')
| -rw-r--r-- | coverage/control.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/coverage/control.py b/coverage/control.py index 7c4a4828..2d75417e 100644 --- a/coverage/control.py +++ b/coverage/control.py @@ -709,6 +709,10 @@ class Coverage(object): self._init_data(suffix=None) self._post_init() + for plugin in self._plugins: + if not plugin._coverage_enabled: + self._collector.plugin_was_disabled(plugin) + if self._collector and self._collector.flush_data(): self._post_save_work() |