diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2015-07-22 12:14:38 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2015-07-22 12:14:38 -0400 |
| commit | a9340b38bf152ff49b38df6026624280419ee93f (patch) | |
| tree | 6c6a472b25c7de8dc11a9a55a1d31e46a48f436f /coverage/data.py | |
| parent | 852c6a7398fb5934b22dbe078f7cb2914bc4e0cd (diff) | |
| download | python-coveragepy-git-a9340b38bf152ff49b38df6026624280419ee93f.tar.gz | |
Don't write a plugins key if there are no plugins.
Diffstat (limited to 'coverage/data.py')
| -rw-r--r-- | coverage/data.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coverage/data.py b/coverage/data.py index 68b02127..3eb51bf3 100644 --- a/coverage/data.py +++ b/coverage/data.py @@ -301,7 +301,8 @@ class CoverageData(object): else: file_data['lines'] = self._lines - file_data['plugins'] = self._plugins + if self._plugins: + file_data['plugins'] = self._plugins # Write the data to the file. json.dump(file_data, file_obj) |