From 039ef0959c3f21fe0991204c19fb99fab14055f5 Mon Sep 17 00:00:00 2001 From: Ned Batchelder Date: Sun, 13 Sep 2020 15:47:15 -0400 Subject: If a plugin is disabled, don't try to record its file tracers. #1011 --- coverage/control.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'coverage/control.py') 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() -- cgit v1.2.1