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 | b1a594511c20ee82588d4987fe50b9ff3aee79bc (patch) | |
tree | 21614ef5154203422d3f59e5187c8623037b41ca /coverage/data.py | |
parent | d44f4e1fd27926eeaeb49dd06f263de96c7ae2df (diff) | |
download | python-coveragepy-b1a594511c20ee82588d4987fe50b9ff3aee79bc.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 68b0212..3eb51bf 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) |