diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-18 07:18:51 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-05-18 07:18:51 -0400 |
commit | 803a5494ef23187e920eeb4b42e922b87cda5966 (patch) | |
tree | 141923268aef69c8b66324977160f60a7b1e7b24 /coverage/config.py | |
parent | cde33ba4ded948bfc1fc9c6768db35d7728102c2 (diff) | |
download | python-coveragepy-git-803a5494ef23187e920eeb4b42e922b87cda5966.tar.gz |
fix: the SIGTERM handler is now opt-in. #1310
Diffstat (limited to 'coverage/config.py')
-rw-r--r-- | coverage/config.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coverage/config.py b/coverage/config.py index 1571c017..1ad46597 100644 --- a/coverage/config.py +++ b/coverage/config.py @@ -190,6 +190,7 @@ class CoverageConfig: self.relative_files = False self.run_include = None self.run_omit = None + self.sigterm = False self.source = None self.source_pkgs = [] self.timid = False @@ -364,6 +365,7 @@ class CoverageConfig: ('relative_files', 'run:relative_files', 'boolean'), ('run_include', 'run:include', 'list'), ('run_omit', 'run:omit', 'list'), + ('sigterm', 'run:sigterm', 'boolean'), ('source', 'run:source', 'list'), ('source_pkgs', 'run:source_pkgs', 'list'), ('timid', 'run:timid', 'boolean'), |